Author of the publication

Alethe: Towards a Generic SMT Proof Format (extended abstract).

, , , and . PxTP, volume 336 of EPTCS, page 49-54. (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.

 

Other publications of authors with the same name

SPASS-SATT - A CDCL(LA) Solver., , , and . CADE, volume 11716 of Lecture Notes in Computer Science, page 111-122. Springer, (2019)A Verified SAT Solver Framework including Optimization and Partial Valuations., and . LPAR, volume 73 of EPiC Series in Computing, page 212-229. EasyChair, (2020)Formalization of logical calculi in Isabelle/HOL.. Saarland University, Saarbrücken, Germany, (2020)The Proof Checkers Pacheck and Pastèque for the Practical Algebraic Calculus., , and . FMCAD, page 264-269. IEEE, (2020)Distributed Cube and Conquer with Paracooba., , and . SAT, volume 12178 of Lecture Notes in Computer Science, page 114-122. Springer, (2020)Reconstructing veriT Proofs in Isabelle/HOL., and . PxTP, volume 301 of EPTCS, page 36-50. (2019)Better Decision Heuristics in CDCL through Local Search and Target Phases., , , and . J. Artif. Intell. Res., (2022)IsaRare: Automatic Verification of SMT Rewrites in Isabelle/HOL., , , , , , , and . TACAS (1), volume 14570 of Lecture Notes in Computer Science, page 311-330. Springer, (2024)Faster LRAT Checking Than Solving with CaDiCaL., , and . SAT, volume 271 of LIPIcs, page 21:1-21:12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)A More Pragmatic CDCL for IsaSAT and Targetting LLVM (Short Paper)., and . CADE, volume 14132 of Lecture Notes in Computer Science, page 207-219. Springer, (2023)