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.

Generating Satisfiable SAT Instances Using Random Subgraph Isomorphism

Calin Anton, Lane Olson. Generating Satisfiable SAT Instances Using Random Subgraph Isomorphism. In Yong Gao, Nathalie Japkowicz, editors, Advances in Artificial Intelligence, 22nd Canadian Conference on Artificial Intelligence, Canadian AI 2009, Kelowna, Canada, May 25-27, 2009, Proceedings. Volume 5549 of Lecture Notes in Computer Science, pages 16-26, Springer, 2009. [doi]

Authors

Calin Anton

This author has not been identified. Look up 'Calin Anton' in Google

Lane Olson

This author has not been identified. Look up 'Lane Olson' in Google
runs on