ML Anthology

Kiesl, Benjamin

1 publications

IJCAI 2017 Blockedness in Propositional Logic: Are You Satisfied with Your Neighborhood? Benjamin Kiesl, Martina Seidl, Hans Tompits, Armin Biere