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]
No references recorded for this publication.
No citations of this publication recorded.