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

Benjamin Kiesl, Martina Seidl, Hans Tompits, Armin Biere. Blockedness in Propositional Logic: Are You Satisfied With Your Neighborhood?. In Carles Sierra, editor, Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017. pages 4884-4888, ijcai.org, 2017. [doi]

Abstract

Abstract is missing.