Christoph Weidenbach
Scholar

Christoph Weidenbach

Google Scholar ID: 0c6gthYAAAAJ
Professor of Computer Science, Max Planck Institute for Informatics, Saarland Informatics Campus
logicautomated reasoningindustrial applications
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
3,886
 
H-index
28
 
i10-index
65
 
Publications
20
 
Co-authors
0
 
Contact
No contact links provided.
Publications
3 items
A Two-Watched Literal Scheme for First-Order Logic
2026
Cited
0
A Counterexample to EFX; $n \ge 3$ Agents, $m \ge n + 5$ Items, Monotone Valuations; via SAT-Solving
2026
Cited
0
Non-Ground Congruence Closure
arXiv.org · 2024
Cited
0
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)