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.

Improving Unsatisfiability-Based Algorithms for Boolean Optimization

Vasco M. Manquinho, Ruben Martins, Inês Lynce. Improving Unsatisfiability-Based Algorithms for Boolean Optimization. In Ofer Strichman, Stefan Szeider, editors, Theory and Applications of Satisfiability Testing - SAT 2010, 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings. Volume 6175 of Lecture Notes in Computer Science, pages 181-193, Springer, 2010. [doi]

Authors

Vasco M. Manquinho

This author has not been identified. Look up 'Vasco M. Manquinho' in Google

Ruben Martins

This author has not been identified. Look up 'Ruben Martins' in Google

Inês Lynce

This author has not been identified. Look up 'Inês Lynce' in Google
runs on