Martin Bromberger
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
15
Venues
5
Active years
2015–2026
Best venue rank
A
Where they publish
Papers
15 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | IJCAR | A Two-Watched Literal Scheme for First-Order Logic. | Yasmine Briefs, Martin Bromberger, Tobias Gehl, Lorenz Leutgeb, Simon Schwarz, Christoph Weidenbach |
| 2025 | CADE | A Stepwise Refinement Proof that SCL(FOL) Simulates Ground Ordered Resolution. | Martin Bromberger, Martin Desharnais, Christoph Weidenbach |
| 2024 | IJCAR | First-Order Automatic Literal Model Generation. | Martin Bromberger, Florent Krasnopol, Sibylle Mhle, Christoph Weidenbach |
| 2024 | LPAR | Automatic Bit- and Memory-Precise Verification of eBPF Code. | Martin Bromberger, Simon Schwarz, Christoph Weidenbach |
| 2023 | CADE | An Isabelle/HOL Formalization of the SCL(FOL) Calculus. | Martin Bromberger, Martin Desharnais, Christoph Weidenbach |
| 2023 | CADE | SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning. | Martin Bromberger, Chaahat Jain, Christoph Weidenbach |
| 2023 | LPAR | Exploring Partial Models with SCL. | Martin Bromberger, Simon Schwarz, Christoph Weidenbach |
| 2022 | CADE | An Efficient Subsumption Test Pipeline for BS(LRA) Clauses. | Martin Bromberger, Lorenz Leutgeb, Christoph Weidenbach |
| 2022 | TACAS | A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic. | Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Larry Gonzlez, Markus Krtzsch, Maximilian Marx, Harish K. Murali, Christoph Weidenbach |
| 2021 | VMCAI | Deciding the Bernays-Schoenfinkel Fragment over Bounded Difference Constraints by Simple Clause Learning over Theories. | Martin Bromberger, Alberto Fiori, Christoph Weidenbach |
| 2019 | CADE | SPASS-SATT - A CDCL(LA) Solver. | Martin Bromberger, Mathias Fleury, Simon Schwarz, Christoph Weidenbach |
| 2018 | CADE | A Reduction from Unbounded Linear Mixed Arithmetic Problems into Bounded Problems. | Martin Bromberger |
| 2016 | CADE | Fast Cube Tests for LIA Constraint Solving. | Martin Bromberger, Christoph Weidenbach |
| 2016 | CADE | Computing a Complete Basis for Equalities Implied by a System of LRA Constraints. | Martin Bromberger, Christoph Weidenbach |
| 2015 | CADE | Linear Integer Arithmetic Revisited. | Martin Bromberger, Thomas Sturm, Christoph Weidenbach |