Christoph Weidenbach

Identifiers

• name variant Christoph Weidenbach 0.60 · backfill

Papers (11)

1. A Two-Watched Literal Scheme for First-Order Logic cs.LO · 2026 · author #6
2. A Counterexample to EFX $n \ge 3$ Agents, $m \ge n + 5$ Items, Submodular Valuations via SAT-Solving cs.GT · 2026 · author #5
3. On the Expressivity and Applicability of Model Representation Formalisms cs.LO · 2019 · author #3
4. On the Combination of the Bernays-Sch\"onfinkel-Ramsey Fragment with Simple Linear Integer Arithmetic cs.LO · 2017 · author #3
5. Decidability of the Monadic Shallow Linear First-Order Fragment with Straight Dismatching Constraints cs.LO · 2017 · author #2
6. The Universal Fragment of Presburger Arithmetic with Unary Uninterpreted Predicates is Undecidable cs.LO · 2017 · author #3
7. Deciding First-Order Satisfiability when Universal and Existential Variables are Separated cs.LO · 2015 · author #3
8. First-Order Logic Theorem Proving and Model Building via Approximation and Instantiation cs.LO · 2015 · author #2
9. NRCL - A Model Building Approach to the Bernays-Sch\"onfinkel Fragment (Full Paper) cs.LO · 2015 · author #2
10. Automated Verification of Interactive Rule-Based Configuration Systems (Additional Material) cs.LO · 2013 · author #3
11. Superposition for Fixed Domains cs.AI · 2008 · author #2

Mentions

• 1309.0065 #3 · backfill · confidence 0.70 Christoph Weidenbach
• 2605.21335 #6 · arxiv_oai · confidence 0.70 Christoph Weidenbach
• 0809.0922 #2 · backfill · confidence 0.70 Christoph Weidenbach

Frequent Coauthors

• Marco Voigt 4 shared papers
• Andreas Teucke 3 shared papers
• Matthias Horbach 3 shared papers
• Alexander Mayorov 1 shared papers
• Ching Hoo Tang 1 shared papers
• Deepak Dhungana 1 shared papers
• G\'abor Alagi 1 shared papers
• Hannaneh Akrami 1 shared papers
• Kurt Mehlhorn 1 shared papers
• Lorenz Leutgeb 1 shared papers
• Martin Bromberger 1 shared papers
• Patrick Wischnewski 1 shared papers
• Shreyas Srinivas 1 shared papers
• Simon Schwarz 1 shared papers
• Thomas Sturm 1 shared papers
• Tobias Gehl 1 shared papers
• Yasmine Briefs 1 shared papers