| Publication | Date of Publication | Type |
|---|
| Handling polynomial and transcendental functions in SMT via unconstrained optimisation and topological degree test | 2023-06-02 | Paper |
| From \textsc{MiniZinc} to optimization modulo theories, and back | 2022-12-21 | Paper |
| Optimization modulo non-linear arithmetic via incremental linearization | 2022-03-24 | Paper |
| Optimization modulo the theories of signed bit-vectors and floating-point numbers | 2021-11-24 | Paper |
| Four flavors of entailment | 2021-04-07 | Paper |
| Solving SAT (and MaxSAT) with a quantum annealer: foundations, encodings, and preliminary results | 2020-12-15 | Paper |
| Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF | 2020-08-05 | Paper |
| Optimization modulo the theory of floating-point numbers | 2020-03-10 | Paper |
| \textsc{OptiMathSAT}: a tool for optimization modulo theories | 2020-03-03 | Paper |
| A new method for testing decision procedures in modal logics | 2019-10-01 | Paper |
| Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions | 2019-09-17 | Paper |
| Advanced SMT techniques for weighted model integration | 2019-08-28 | Paper |
| Building decision procedures for modal logics from propositional decision procedures — The case study of modal K | 2019-01-15 | Paper |
| Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions | 2018-10-24 | Paper |
| Experimenting on solving nonlinear integer arithmetic with incremental linearization | 2018-08-10 | Paper |
| Solving SAT and MaxSAT with a quantum annealer: foundations and a preliminary report | 2018-01-04 | Paper |
| Satisfiability modulo transcendental functions via incremental linearization | 2017-09-22 | Paper |
| Structured learning modulo theories | 2017-02-22 | Paper |
| Colors Make Theories Hard | 2016-09-05 | Paper |
| Efficient generation of craig interpolants in satisfiability modulo theories | 2015-09-17 | Paper |
| Optimization Modulo Theories with Linear Rational Costs | 2015-09-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2848685 | 2013-09-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2849590 | 2013-09-20 | Paper |
| The MathSAT5 SMT Solver | 2013-08-05 | Paper |
| A Modular Approach to MaxSAT Modulo Theories | 2013-08-05 | Paper |
| Optimization in SMT with ${\mathcal LA}$ (ℚ) Cost Functions | 2012-09-05 | Paper |
| Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic | 2012-08-15 | Paper |
| Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT | 2011-10-07 | Paper |
| Automated Reasoning in $\mathcal{ALCQ}$ via SMT | 2011-07-29 | Paper |
| Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic | 2011-05-19 | Paper |
| Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories | 2011-05-04 | Paper |
| Satisfiability Modulo the Theory of Costs: Foundations and Applications | 2010-04-27 | Paper |
| Journal on Data Semantics I | 2010-03-03 | Paper |
| Correct Hardware Design and Verification Methods | 2010-02-05 | Paper |
| Automated Reasoning in Modal and Description Logics via SAT Encoding: the Case Study of K(m)/ALC-Satisfiability | 2009-12-10 | Paper |
| Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis | 2009-11-16 | Paper |
| Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis | 2009-07-28 | Paper |
| Interpolant Generation for UTVPI | 2009-07-28 | Paper |
| A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories | 2009-03-10 | Paper |
| From KSAT to Delayed Theory Combination: Exploiting DPLL Outside the SAT Domain | 2008-09-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3506045 | 2008-06-11 | Paper |
| Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: A Comparative Analysis | 2008-05-27 | Paper |
| To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in $\mathit{SMT}(\mathcal{EUF} \cup \mathcal{T})$ | 2008-05-27 | Paper |
| Efficient Interpolant Generation in Satisfiability Modulo Theories | 2008-04-11 | Paper |
| GSTE is partitioned model checking | 2007-10-11 | Paper |
| Encoding the Satisfiability of Modal and Description Logics into SAT: The Case Study of K(m)/ $\mathcal{ALC}$ | 2007-09-04 | Paper |
| Property-Driven Partitioning for Abstraction Refinement | 2007-09-03 | Paper |
| Formal Methods for Hardware Verification | 2007-05-02 | Paper |
| M\textbf{ath}SAT: Tight integration of SAT and mathematical decision procedures | 2007-01-24 | Paper |
| Efficient theory combination via Boolean search | 2006-10-25 | Paper |
| Computer Aided Verification | 2006-01-10 | Paper |
| Computer Aided Verification | 2006-01-10 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2005-11-10 | Paper |
| Computer Aided Verification | 2005-08-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4808722 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4809056 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4736997 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737124 | 2004-08-11 | Paper |
| SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation | 2004-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4422082 | 2003-09-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4411160 | 2003-07-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4804909 | 2003-05-01 | Paper |
| Building decision procedures for modal logics from propositional decision procedures: The case study of modal \(K(m)\). | 2003-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4539634 | 2002-07-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2769583 | 2002-02-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4518913 | 2001-03-11 | Paper |
| An analysis of empirical testing for modal decision procedures | 2000-06-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4247692 | 1999-06-16 | Paper |
| Calculating criticalities | 1998-07-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4386960 | 1998-05-10 | Paper |
