External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Measuring the Hardness of SAT Instances

Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà. Measuring the Hardness of SAT Instances. In Dieter Fox, Carla P. Gomes, editors, Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008, Chicago, Illinois, USA, July 13-17, 2008. pages 222-228, AAAI Press, 2008.

Abstract

Abstract is missing.

runs on