conftrace_

Benjamin Kiesl

1 papers · 2017–2017 · 1 conference · across top CS/AI conferences

Achievements

Jump to papers ↓

🧭 Keyword Pioneer 🐝 Cross-Pollinator (10) ❓ The Questioner

Conferences

IJCAI (1)

Top co-authors

Martina Seidl (1) Armin Biere (1) Hans Tompits (1)

Keywords

propositional logic (1) sat solving (1) clause elimination (1) local redundancy (1)

Papers

Blockedness in Propositional Logic: Are You Satisfied With Your Neighborhood? IJCAI 2017