External Links

Cite Key

Statistics

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

PDF

Tags

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.

Variable and Clause Ordering in an FSA Approach to Propositional Satisfiability

José M. Castaño, Rodrigo Castaño. Variable and Clause Ordering in an FSA Approach to Propositional Satisfiability. In Béatrice Bouchou-Markhoff, Pascal Caron, Jean-Marc Champarnaud, Denis Maurel, editors, Implementation and Application of Automata - 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings. Volume 6807 of Lecture Notes in Computer Science, pages 76-87, Springer, 2011. [doi]

Authors

José M. Castaño

This author has not been identified. Look up 'José M. Castaño' in Google

Rodrigo Castaño

This author has not been identified. Look up 'Rodrigo Castaño' in Google
runs on