Backbones and backdoors in satisfiability

Citation

Kilby, P, Slaney, J, Thiebaux, S et al 2005, 'Backbones and backdoors in satisfiability', National Conference on Artificial Intelligence, and Innovative Applications of Artificial Intelligence Conference 2005, ed. Manuela Veloso, Subbarao Kambhampati, Neil Jacobstein, Bruce Porter, AAAI Press, Munich, Germany, pp. 1368-1373.

Year

2005

Field of Research

  • Artificial Intelligence And Image Processing Not Elsewhere Classified

Updated:  14 August 2020 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers