( en | de | ru )

 

Disambiguation of "Preiner, Mathias"

Author of the publication

copydeleteadd this publication to your clipboard
Counterexample-Guided Model Synthesis.

, , and . TACAS (1), volume 10205 of Lecture Notes in Computer Science, page 264-280. (2017)

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 Stiller

 

Other publications of authors with the same name

Lemmas on Demand for Lambdas., , and . DIFTS@FMCAD, volume 1130 of CEUR Workshop Proceedings, CEUR-WS.org, (2013)Propagation based local search for bit-precise reasoning., , and . Formal Methods Syst. Des., 51 (3): 608-636 (2017)Towards Bit-Width-Independent Proofs in SMT Solvers., , , , , and . CADE, volume 11716 of Lecture Notes in Computer Science, page 366-384. Springer, (2019)Syntax-Guided Rewrite Rule Enumeration for SMT Solvers., , , , , , and . SAT, volume 11628 of Lecture Notes in Computer Science, page 279-297. Springer, (2019)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)Challenges in Bit-Vector Reasoning.. SMT@CAV, volume 3725 of CEUR Workshop Proceedings, page 2. CEUR-WS.org, (2024)Scalable Bit-Blasting with Abstractions., , and . CAV (1), volume 14681 of Lecture Notes in Computer Science, page 178-200. Springer, (2024)Counterexample-Guided Model Synthesis., , and . TACAS (1), volume 10205 of Lecture Notes in Computer Science, page 264-280. (2017)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)