Author of the publication

Benchmarking Solvers, SAT-style.

, , and . SC²@ISSAC, volume 1974 of CEUR Workshop Proceedings, CEUR-WS.org, (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.

 

Other publications of authors with the same name

Lemmas for Satisfiability Modulo Transcendental Functions via Incremental Linearization., , , , and . SC-square@SIAM AG, volume 2460 of CEUR Workshop Proceedings, CEUR-WS.org, (2019)LTL falsification in infinite-state systems., , and . Inf. Comput., 289 (Part): 104977 (2022)The VMT-LIB Language and Tools., , and . CoRR, (2021)Certifying Proofs for LTL Model Checking., , and . FMCAD, page 1-9. IEEE, (2018)Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays., , , , and . TACAS (1), volume 12651 of Lecture Notes in Computer Science, page 113-132. Springer, (2021)New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072)., , , and . Dagstuhl Reports, 12 (2): 67-86 (2022)Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking., , and . CoRR, (2024)Automatic Discovery of Fair Paths in Infinite-State Transition Systems., , and . ATVA, volume 12971 of Lecture Notes in Computer Science, page 32-47. Springer, (2021)Analysis of Cyclic Fault Propagation via ASP., , , , and . LPNMR, volume 13416 of Lecture Notes in Computer Science, page 470-483. Springer, (2022)A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System., , , , , , , , and . ISoLA (3), volume 12478 of Lecture Notes in Computer Science, page 240-254. Springer, (2020)