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.

The Impact of Branching Heuristics in Propositional Satisfiability Algorithms

João P. Marques Silva. The Impact of Branching Heuristics in Propositional Satisfiability Algorithms. In Pedro Barahona, José Júlio Alferes, editors, Progress in Artificial Intelligence, 9th Portuguese Conference on Artificial Intelligence, EPIA 99, Évora, Portugal, September 21-24, 1999, Proceedings. Volume 1695 of Lecture Notes in Computer Science, pages 62-74, Springer, 1999.

Abstract

Abstract is missing.

runs on