Author of the publication

A New Decision Procedure for Finite Sets and Cardinality Constraints in SMT.

, , , and . IJCAR, volume 9706 of Lecture Notes in Computer Science, page 82-98. Springer, (2016)

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

Politeness for the Theory of Algebraic Datatypes., , , , , and . IJCAR (1), volume 12166 of Lecture Notes in Computer Science, page 238-255. Springer, (2020)Gap-free Processor Verification by S2QED and Property Generation., , , , , , , and . DATE, page 526-531. IEEE, (2020)Reluplex: a calculus for reasoning about deep neural networks., , , , and . Formal Methods Syst. Des., 60 (1): 87-116 (February 2022)lazybvtoint at the SMT Competition 2020., , , , , and . CoRR, (2021)Satisfiability Modulo Theories., and . Handbook of Model Checking, Springer, (2018)Fine Grained SMT Proofs for the Theory of Fixed-Width Bit-Vectors., , , , and . LPAR, volume 9450 of Lecture Notes in Computer Science, page 340-355. Springer, (2015)Pono: A Flexible and Extensible SMT-Based Model Checker., , , , , , , and . CAV (2), volume 12760 of Lecture Notes in Computer Science, page 461-474. Springer, (2021)A DPLL(T) Theory Solver for a Theory of Strings and Regular Expressions., , , , and . CAV, volume 8559 of Lecture Notes in Computer Science, page 646-662. Springer, (2014)Satisfiability Modulo Finite Fields., , , and . CAV (2), volume 13965 of Lecture Notes in Computer Science, page 163-186. Springer, (2023)Even Faster Conflicts and Lazier Reductions for String Solvers., , , , and . CAV (2), volume 13372 of Lecture Notes in Computer Science, page 205-226. Springer, (2022)