( en | de | ru )

 

Disambiguation of "Preiner, Mathias"

Author of the publication

copydeleteadd this publication to your clipboard
On solving quantified bit-vector constraints using invertibility conditions.

, , , , and . Formal Methods Syst. Des., 57 (1): 87-115 (2021)

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 Pflugbeil

 

Other publications of authors with the same name

On solving quantified bit-vector constraints using invertibility conditions., , , , and . Formal Methods Syst. Des., 57 (1): 87-115 (2021)Publisher Correction: Algorithm selection for SMT., , , , and . Int. J. Softw. Tools Technol. Transf., 25 (5): 799-800 (December 2023)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)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)Counterexample-Guided Model Synthesis., , and . TACAS (1), volume 10205 of Lecture Notes in Computer Science, page 264-280. (2017)The FMCAD 2022 Student Forum.. FMCAD, page 5-6. IEEE, (2022)