A SAT Approach to Branchwidth

Neha Lodha, Sebastian Ordyniak, Stefan Szeider

IJCAI 2017 pp. 4894-4898

doi:10.24963/IJCAI.2017/689 /ijcai/2017/lodha2017ijcai-sat/

Cite

Text

Lodha et al. "A SAT Approach to Branchwidth." International Joint Conference on Artificial Intelligence, 2017. doi:10.24963/IJCAI.2017/689

Markdown

[Lodha et al. "A SAT Approach to Branchwidth." International Joint Conference on Artificial Intelligence, 2017.](https://mlanthology.org/ijcai/2017/lodha2017ijcai-sat/) doi:10.24963/IJCAI.2017/689

BibTeX

@inproceedings{lodha2017ijcai-sat,
  title     = {{A SAT Approach to Branchwidth}},
  author    = {Lodha, Neha and Ordyniak, Sebastian and Szeider, Stefan},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2017},
  pages     = {4894-4898},
  doi       = {10.24963/IJCAI.2017/689},
  url       = {https://mlanthology.org/ijcai/2017/lodha2017ijcai-sat/}
}