Martin Bromberger

MaRDI QIDQ831910zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A stepwise refinement proof that SCL(FOL) simulates ground ordered resolution	2026-01-21	Paper
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 (available as arXiv preprint)	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 Journal of Symbolic Computation	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 (available as arXiv preprint)	2018-10-18	Paper
New techniques for linear arithmetic: cubes and equalities Formal Methods in System Design	2018-01-08	Paper
Fast cube tests for LIA constraint solving Automated Reasoning	2016-09-05	Paper
Linear integer arithmetic revisited Automated Deduction - CADE-25	2015-12-02	Paper

Research outcomes over time

This page was built for person: Martin Bromberger