Maria Luisa Bonet

2 papers · 2013–2024 · 1 conference · across top CS/AI conferences

Achievements

🏃 Academic Marathon (11) 🧭 Keyword Pioneer 🐝 Cross-Pollinator (9) 🚀 Conference Pioneer

Conferences

IJCAI (2)

Top co-authors

Sam Buss (1) Jordi Levy (1) Ilario Bonacina (1)

Keywords

sat solver (1) proof system (1) circular resolution (1)

Papers

Weighted, Circular and Semi-Algebraic Proofs (Abstract Reprint) IJCAI 2024

An Improved Separation of Regular Resolution from Pool Resolution and Clause Learning (Extended Abstract) IJCAI 2013