Martin Bromberger

Available identifiers

zbMath Open bromberger.martinMaRDI QIDQ831910

List of research outcomes

Publication	Date of Publication	Type
Symbolic Model Construction for Saturated Constrained Horn Clauses	2024-05-03	Paper
An Isabelle/HOL Formalization of the SCL(FOL) Calculus	2024-04-26	Paper
SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning	2024-04-26	Paper
An efficient subsumption test pipeline for BS(LRA) clauses	2022-12-07	Paper
A Datalog hammer for supervisor verification conditions modulo simple linear arithmetic	2022-03-24	Paper
Deciding the Bernays-Schoenfinkel fragment over bounded difference constraints by simple clause learning over theories	2021-10-18	Paper
A complete and terminating approach to linear integer solving	2020-03-24	Paper
SPASS-SATT. A CDCL(LA) solver	2020-03-10	Paper
A reduction from unbounded linear mixed arithmetic problems into bounded problems	2018-10-18	Paper
New techniques for linear arithmetic: cubes and equalities	2018-01-08	Paper
Fast Cube Tests for LIA Constraint Solving	2016-09-05	Paper
Linear Integer Arithmetic Revisited	2015-12-02	Paper

Research outcomes over time

This page was built for person: Martin Bromberger