Author of the publication

Bounded Model Checking for Timed Systems.

, , , and . FORTE, volume 2529 of Lecture Notes in Computer Science, page 243-259. Springer, (2002)

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

Four Flavors of Entailment., , and . SAT, volume 12178 of Lecture Notes in Computer Science, page 62-71. Springer, (2020)The pywmi Framework and Toolbox for Probabilistic Inference using Weighted Model Integration., , , , , , and . IJCAI, page 6530-6532. ijcai.org, (2019)A SAT-based Decision Procedure for ALC., and . KR, page 304-314. Morgan Kaufmann, (1996)Enhancing SMT-based Weighted Model Integration by Structure Awareness., , , , and . CoRR, (2023)SMT-based weighted model integration with structure awareness., , , , and . UAI, volume 180 of Proceedings of Machine Learning Research, page 1876-1885. PMLR, (2022)A General Purpose Reasoner for Abstraction., , , and . AI, volume 1081 of Lecture Notes in Computer Science, page 323-335. Springer, (1996)Disjoint Partial Enumeration without Blocking Clauses., , and . AAAI, page 8126-8135. AAAI Press, (2024)Applying the Davis-Putnam Procedure to Non-clausal Formulas., and . AI*IA, volume 1792 of Lecture Notes in Computer Science, page 84-94. Springer, (1999)Optimization Modulo the Theory of Floating-Point Numbers., and . CADE, volume 11716 of Lecture Notes in Computer Science, page 550-567. Springer, (2019)From KSAT to Delayed Theory Combination: Exploiting DPLL Outside the SAT Domain.. FroCoS, volume 4720 of Lecture Notes in Computer Science, page 28-46. Springer, (2007)