Publications

On Applying Cutting Planes in Dll-Based Algorithms for Pseudo-Boolean Optimization

AuthID
P-000-6V1

Author(s)

Manquinho, V

Marques Silva, J

Editor(s)

Bacchus,F;Walsh,T

Document Type

Proceedings Paper

Year published

2005

Published

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

Volume: 3569, Pages: 451-458 (8)

Conference

8Th International Conference on Theory and Applications of Satisfiability Testing, Date: JUN 19-23, 2005, Location: St Andrews, SCOTLAND, Sponsors: Cadence Design Syst, Intel Corp, Intelligence Informat Syst Inst, Microsoft Res, CoLogNet Network Excellence

Indexing