| | Publication type |
|---|
| CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving | inproceedings |
| Mechanizing the Minimization of Deterministic Generalized Büchi Automata | inproceedings |
| PaInleSS: a Framework for Parallel SAT Solving | inproceedings |
| Parallel Learning Portfolio-Based Solvers | inproceedings |
| Parallel Satisfiability Solver Based on Hybrid Partitioning Method | inproceedings |
| SAT-based Minimization of Deterministic ω-Automata | inproceedings |
