Backbones and backdoors in satisfiability


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.



Field of Research

  • Artificial Intelligence And Image Processing Not Elsewhere Classified

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