Martin Bromberger

According to our database, Martin Bromberger authored at least 20 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Automatic Bit- and Memory-Precise Verification of eBPF Code.

Martin Bromberger, Simon Schwarz, Christoph Weidenbach

Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024

First-Order Automatic Literal Model Generation.

Martin Bromberger, Florent Krasnopol, Sibylle Möhle, Christoph Weidenbach

Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

2023

SCL(FOL) Revisited.

Martin Bromberger, Simon Schwarz, Christoph Weidenbach

CoRR, 2023

Exploring Partial Models with SCL.

Martin Bromberger, Simon Schwarz, Christoph Weidenbach

Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023

Symbolic Model Construction for Saturated Constrained Horn Clauses.

Martin Bromberger, Lorenz Leutgeb, Christoph Weidenbach

Proceedings of the Frontiers of Combining Systems - 14th International Symposium, 2023

SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning.

Martin Bromberger, Chaahat Jain, Christoph Weidenbach

Proceedings of the Automated Deduction - CADE 29, 2023

An Isabelle/HOL Formalization of the SCL(FOL) Calculus.

Martin Bromberger, Martin Desharnais, Christoph Weidenbach

Proceedings of the Automated Deduction - CADE 29, 2023

2022

A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic.

Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Larry González, Markus Krötzsch, Maximilian Marx, Harish K. Murali, Christoph Weidenbach

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

A Two-Watched Literal Scheme for First-Order Logic.

Martin Bromberger, Tobias Gehl, Lorenz Leutgeb, Christoph Weidenbach

Proceedings of the Workshop on Practical Aspects of Automated Reasoning Co-located with the 11th International Joint Conference on Automated Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11, 2022

An Efficient Subsumption Test Pipeline for BS(LRA) Clauses.

Martin Bromberger, Lorenz Leutgeb, Christoph Weidenbach

Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

2021

Deciding the Bernays-Schoenfinkel Fragment over Bounded Difference Constraints by Simple Clause Learning over Theories.

Martin Bromberger, Alberto Fiori, Christoph Weidenbach

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021

A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic.

Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Markus Krötzsch, Christoph Weidenbach

Proceedings of the Frontiers of Combining Systems - 13th International Symposium, 2021

2020

A complete and terminating approach to linear integer solving.

Martin Bromberger, Thomas Sturm, Christoph Weidenbach

J. Symb. Comput., 2020

2019

Decision Procedures for Linear Arithmetic. (Quelques procédures de décision pour l'arithmétique linéaire).

Martin Bromberger

PhD thesis, 2019

SPASS-SATT - A CDCL(LA) Solver.

Martin Bromberger, Mathias Fleury, Simon Schwarz, Christoph Weidenbach

Proceedings of the Automated Deduction - CADE 27, 2019

2018

A Reduction from Unbounded Linear Mixed Arithmetic Problems into Bounded Problems.

Martin Bromberger

Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018

2017

New techniques for linear arithmetic: cubes and equalities.

Martin Bromberger, Christoph Weidenbach

Formal Methods Syst. Des., 2017

2016

Computing a Complete Basis for Equalities Implied by a System of LRA Constraints.

Martin Bromberger, Christoph Weidenbach

Proceedings of the 14th International Workshop on Satisfiability Modulo Theories affiliated with the International Joint Conference on Automated Reasoning, 2016

Fast Cube Tests for LIA Constraint Solving.

Martin Bromberger, Christoph Weidenbach

Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016

2015

Linear Integer Arithmetic Revisited.

Martin Bromberger, Thomas Sturm, Christoph Weidenbach

Proceedings of the Automated Deduction - CADE-25, 2015