Publications

Improving Unsatisfiability-Based Algorithms for Boolean Optimization

AuthID
P-003-D0S

Author(s)

Manquinho, V

Martins, R

Lynce, I

Editor(s)

Strichman,O;Szeider,S

Document Type

Proceedings Paper

Year published

2010

Published

in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2010, PROCEEDINGS in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 6175, Pages: 181-193 (13)

Conference

13Th International Conference on Theory and Applications of Satisfiability Testing, Date: JUL 11-14, 2010, Location: Edinburgh, SCOTLAND, Sponsors: EPSRC;NSF;Microsoft Research;Association for Symbolic Logic;CADE Inc., Host: Univ Edinburgh, Sch Informat

Indexing