@inproceedings{ijcai2017p687, author = {Benjamin Kiesl and Martina Seidl and Hans Tompits and Armin Biere}, title = {Blockedness in Propositional Logic: Are You Satisfied With Your Neighborhood?}, booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, {IJCAI-17}}, pages = {4884--4888}, year = {2017}, doi = {10.24963/ijcai.2017/687}, url = {https://doi.org/10.24963/ijcai.2017/687}, }