Author of the publication

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.

 

Other publications of authors with the same name

Propagation based local search for bit-precise reasoning., , and . Formal Methods Syst. Des., 51 (3): 608-636 (2017)Bitwuzla at the SMT-COMP 2020., and . CoRR, (2020)CVC4 at the SMT Competition 2018., , , , , , , , , and 1 other author(s). CoRR, (2018)Lemmas on Demand for Lambdas., , and . DIFTS@FMCAD, volume 1130 of CEUR Workshop Proceedings, CEUR-WS.org, (2013)Towards Bit-Width-Independent Proofs in SMT Solvers., , , , , and . CADE, volume 11716 of Lecture Notes in Computer Science, page 366-384. Springer, (2019)Algorithm selection for SMT., , , , and . Int. J. Softw. Tools Technol. Transf., 25 (2): 219-239 (April 2023)Counterexample-Guided Model Synthesis., , and . TACAS (1), volume 10205 of Lecture Notes in Computer Science, page 264-280. (2017)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)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)Model-Based API Testing for SMT Solvers., , and . SMT, volume 1889 of CEUR Workshop Proceedings, page 3-14. CEUR-WS.org, (2017)