Martin Bromberger

Identifiers

• name variant Martin Bromberger 0.60 · backfill

Papers (2)

1. A Two-Watched Literal Scheme for First-Order Logic cs.LO · 2026 · author #2
2. A Reduction from Unbounded Linear Mixed Arithmetic Problems into Bounded Problems cs.LO · 2018 · author #1

Mentions

• 2605.21335 #2 · arxiv_oai · confidence 0.70 Martin Bromberger

Frequent Coauthors

• Christoph Weidenbach 1 shared papers
• Lorenz Leutgeb 1 shared papers
• Simon Schwarz 1 shared papers
• Tobias Gehl 1 shared papers
• Yasmine Briefs 1 shared papers