Backbones and Backdoors in Satisfiability

Philip Kilby, John K. Slaney, Sylvie Thiébaux, Toby Walsh

AAAI 2005 pp. 1368-1373

/aaai/2005/kilby2005aaai-backbones/

Cite

Text

Kilby et al. "Backbones and Backdoors in Satisfiability." AAAI Conference on Artificial Intelligence, 2005.

Markdown

[Kilby et al. "Backbones and Backdoors in Satisfiability." AAAI Conference on Artificial Intelligence, 2005.](https://mlanthology.org/aaai/2005/kilby2005aaai-backbones/)

BibTeX

@inproceedings{kilby2005aaai-backbones,
  title     = {{Backbones and Backdoors in Satisfiability}},
  author    = {Kilby, Philip and Slaney, John K. and Thiébaux, Sylvie and Walsh, Toby},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2005},
  pages     = {1368-1373},
  url       = {https://mlanthology.org/aaai/2005/kilby2005aaai-backbones/}
}