Erik Zawadzki

2 papers · 2011–2013 · 2 conferences · across top CS/AI conferences

Achievements

🐝 Cross-Pollinator (7) 🌉 Interdisciplinary Bridge 🐣 Hot Topic Early Bird 🧭 Keyword Pioneer 🌍 Conference Polyglot (2) 🌟 Keyword Trendsetter Combo (3) 📈 Trend Setter 🚀 Conference Pioneer

Conferences

AISTATS (1) IJCAI (1)

Top co-authors

André Platzer (2) Geoffrey Gordon (1) Geoffery J. Gordon (1)

Keywords

theorem proving (1) automated reasoning (1) lifted inference (1) first-order logic (1) first-order programming (1) mixed-integer linear programming (1) refutational completeness (1)

Papers

A Generalization of SAT and #SAT for Robust Policy Evaluation IJCAI 2013

An Instantiation-Based Theorem Prover for First-Order Programming AISTATS 2011