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.

What Is a Real-World SAT Instance?

Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà. What Is a Real-World SAT Instance?. In Cecilio Angulo, Lluis Godo, editors, Artificial Intelligence Research and Development, Proceedings of the 10th International Conference of the ACIA, CCIA 2007, October 25-26, 2007, Sant Julià de Lòria, Andorra. Volume 163 of Frontiers in Artificial Intelligence and Applications, pages 19-28, IOS Press, 2007.

Authors

Carlos Ansótegui

This author has not been identified. Look up 'Carlos Ansótegui' in Google

Maria Luisa Bonet

This author has not been identified. Look up 'Maria Luisa Bonet' in Google

Jordi Levy

This author has not been identified. Look up 'Jordi Levy' in Google

Felip Manyà

This author has not been identified. Look up 'Felip Manyà' in Google
runs on