Martin Bromberger

ORCID

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 24

Top Venues

Saarland University, Saarbrücken, Germany (PHD)

Education History

Saarland University, Saarbrücken, Germany

PHD

Publications

Martin Bromberger, Florent Krasnopol, Sibylle Möhle, Christoph Weidenbach
First-Order Automatic Literal Model Generation. IJCAR (1) (2024)
Martin Bromberger, Simon Schwarz, Christoph Weidenbach
Automatic Bit- and Memory-Precise Verification of eBPF Code. LPAR (2024)
Martin Bromberger, Chaahat Jain, Christoph Weidenbach
SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning. CoRR (2023)
Martin Bromberger, Chaahat Jain, Christoph Weidenbach
SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning. CADE (2023)
Martin Bromberger, Lorenz Leutgeb, Christoph Weidenbach
Symbolic Model Construction for Saturated Constrained Horn Clauses. FroCoS (2023)
Martin Bromberger, Lorenz Leutgeb, Christoph Weidenbach
Explicit Model Construction for Saturated Constrained Horn Clauses. CoRR (2023)
Martin Bromberger, Martin Desharnais, Christoph Weidenbach
An Isabelle/HOL Formalization of the SCL(FOL) Calculus. CADE (2023)
Martin Bromberger, Simon Schwarz, Christoph Weidenbach
SCL(FOL) Revisited. CoRR (2023)
Martin Bromberger, Simon Schwarz, Christoph Weidenbach
Exploring Partial Models with SCL. LPAR (2023)
Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Larry González, Markus Krötzsch, Maximilian Marx, Harish K. Murali, Christoph Weidenbach
A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic. CoRR (2022)
Martin Bromberger, Lorenz Leutgeb, Christoph Weidenbach
An Efficient Subsumption Test Pipeline for BS(LRA) Clauses. IJCAR (2022)
Martin Bromberger, Simon Schwarz, Christoph Weidenbach
Exploring Partial Models with SCL. PAAR@IJCAR (2022)
Martin Bromberger, Tobias Gehl, Lorenz Leutgeb, Christoph Weidenbach
A Two-Watched Literal Scheme for First-Order Logic. PAAR@IJCAR (2022)
Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Larry González, Markus Krötzsch, Maximilian Marx, Harish K. Murali, Christoph Weidenbach
A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic. TACAS (1) (2022)
Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Markus Krötzsch, Christoph Weidenbach
A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic. CoRR (2021)
Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Markus Krötzsch, Christoph Weidenbach
A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic. FroCoS (2021)
Martin Bromberger, Alberto Fiori, Christoph Weidenbach
Deciding the Bernays-Schoenfinkel Fragment over Bounded Difference Constraints by Simple Clause Learning over Theories. VMCAI (2021)
Martin Bromberger, Thomas Sturm, Christoph Weidenbach
A complete and terminating approach to linear integer solving. J. Symb. Comput. 100 (2020)
Martin Bromberger, Mathias Fleury, Simon Schwarz, Christoph Weidenbach
SPASS-SATT - A CDCL(LA) Solver. CADE (2019)
Martin Bromberger
A Reduction from Unbounded Linear Mixed Arithmetic Problems into Bounded Problems. IJCAR (2018)
Martin Bromberger
A Reduction from Unbounded Linear Mixed Arithmetic Problems into Bounded Problems. CoRR (2018)
Martin Bromberger, Christoph Weidenbach
New techniques for linear arithmetic: cubes and equalities. Formal Methods Syst. Des. 51 (3) (2017)
Martin Bromberger, Christoph Weidenbach
Computing a Complete Basis for Equalities Implied by a System of LRA Constraints. SMT@IJCAR (2016)
Martin Bromberger, Christoph Weidenbach
Fast Cube Tests for LIA Constraint Solving. IJCAR (2016)
Martin Bromberger, Thomas Sturm, Christoph Weidenbach
Linear Integer Arithmetic Revisited. CADE (2015)
Martin Bromberger, Thomas Sturm, Christoph Weidenbach
Linear Integer Arithmetic Revisited. CoRR (2015)

Martin Bromberger.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Martin Bromberger