( en | de | ru )

 

Disambiguation of "Preiner, Mathias"

Author of the publication

copydeleteadd this publication to your clipboard
Generating and Exploiting Automated Reasoning Proof Certificates.

, , , , , , , , , , , , and . Commun. ACM, 66 (10): 86-95 (October 2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Gerhard Preiner

Mathias Rausch

Stärkung des Informationsanspruchs durch das Arca-nigra-Verfahren: ein In-camera-Verfahren zur Kontrolle der Informationsgabe. Uni Köln, (2009)

Mathias Rafler

Gaussian loop- and Pólya processes: a point process approach. Uni Potsdam, (2009)

Mathias Guder

Photo-resist stripping with DI/O3 in semiconductor device manufacturing: process chemistry and analytical aspects. Uni Frankfurt Main, (2010)

Mathias Hillebrand

 

Other publications of authors with the same name

Publisher Correction: Algorithm selection for SMT., , , , and . Int. J. Softw. Tools Technol. Transf., 25 (5): 799-800 (December 2023)On solving quantified bit-vector constraints using invertibility conditions., , , , and . Formal Methods Syst. Des., 57 (1): 87-115 (2021)On Solving Quantified Bit-Vectors using Invertibility Conditions., , , , and . CoRR, (2018)Btor2 , BtorMC and Boolector 3.0., , , and . CAV (1), volume 10981 of Lecture Notes in Computer Science, page 587-595. Springer, (2018)Ternary Propagation-Based Local Search for more Bit-Precise Reasoning., and . FMCAD, page 214-224. IEEE, (2020)Syntax-Guided Rewrite Rule Enumeration for SMT Solvers., , , , , , and . SAT, volume 11628 of Lecture Notes in Computer Science, page 279-297. Springer, (2019)Counterexample-Guided Model Synthesis., , and . TACAS (1), volume 10205 of Lecture Notes in Computer Science, page 264-280. (2017)Algorithm selection for SMT., , , , and . Int. J. Softw. Tools Technol. Transf., 25 (2): 219-239 (April 2023)ddSMT 2.0: Better Delta Debugging for the SMT-LIBv2 Language and Friends., , and . CAV (2), volume 12760 of Lecture Notes in Computer Science, page 231-242. Springer, (2021)Analysis of Portfolio-Style Parallel SAT Solving on Current Multi-Core Architectures., , , , and . POS@SAT, volume 29 of EPiC Series in Computing, page 28-40. EasyChair, (2013)