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

Benjamin Kiesl, Martina Seidl, Hans Tompits, Armin Biere

Browse the full IJCAI paper archive.