%0 Conference Paper %1 conf/ijcai/KieslSTB17 %A Kiesl, Benjamin %A Seidl, Martina %A Tompits, Hans %A Biere, Armin %B IJCAI %D 2017 %E Sierra, Carles %I ijcai.org %K %P 4884-4888 %T Blockedness in Propositional Logic: Are You Satisfied With Your Neighborhood? %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2017.html#KieslSTB17 %@ 978-0-9992411-0-3

@inproceedings{conf/ijcai/KieslSTB17, added-at = {2023-12-13T07:29:49.000+0100}, author = {Kiesl, Benjamin and Seidl, Martina and Tompits, Hans and Biere, Armin}, biburl = {https://www.bibsonomy.org/bibtex/2ea64e726afdef36122d89b259957464e/admin}, booktitle = {IJCAI}, crossref = {conf/ijcai/2017}, editor = {Sierra, Carles}, ee = {https://doi.org/10.24963/ijcai.2017/687}, interhash = {b9b9892b48789a42872778b4d6b6f233}, intrahash = {ea64e726afdef36122d89b259957464e}, isbn = {978-0-9992411-0-3}, keywords = {}, pages = {4884-4888}, publisher = {ijcai.org}, timestamp = {2023-12-13T07:29:49.000+0100}, title = {Blockedness in Propositional Logic: Are You Satisfied With Your Neighborhood?}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2017.html#KieslSTB17}, year = 2017 }