Thomas Hader
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2023–2026
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SAT | Generalizing CDCL with Graph Backtracking. | Robin Coutelier, Thomas Hader, Laura Kovcs |
| 2025 | CADE | Boosting MCSat Modulo Nonlinear Integer Arithmetic via Local Search. | Enrico Lipparini, Thomas Hader, Ahmed Irfan, Stphane Graham-Lengrand |
| 2025 | CAV | Decision Heuristics in MCSat. | Thomas Hader, Ahmed Irfan, Stphane Graham-Lengrand |
| 2024 | IJCAR | MCSat-Based Finite Field Reasoning in the Yices2 SMT Solver (Short Paper). | Thomas Hader, Daniela Kaufmann, Ahmed Irfan, Stphane Graham-Lengrand, Laura Kovcs |
| 2023 | LPAR | SMT Solving over Finite Field Arithmetic. | Thomas Hader, Daniela Kaufmann, Laura Kovcs |