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

Kiesl et al. "Blockedness in Propositional Logic: Are You Satisfied with Your Neighborhood?." International Joint Conference on Artificial Intelligence, 2017. doi:10.24963/IJCAI.2017/687

[Kiesl et al. "Blockedness in Propositional Logic: Are You Satisfied with Your Neighborhood?." International Joint Conference on Artificial Intelligence, 2017.](https://mlanthology.org/ijcai/2017/kiesl2017ijcai-blockedness/) doi:10.24963/IJCAI.2017/687

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