Manquinho, V. and Marques-Silva, J. P. (2005) On Applying Cutting Planes in DLL-Based Algorithms for Pseudo-Boolean Optimization. Bacchus, F. and Walsh, T. (eds.) International Conference on Theory and Applications of Satisfiability Testing. pp. 451-458 .
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: June 2005
Venue - Dates:
International Conference on Theory and Applications of Satisfiability Testing, 2005-06-01
Related URLs:
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 261995
URI: http://eprints.soton.ac.uk/id/eprint/261995
PURE UUID: f3bd34a5-7bb6-4210-967f-89cd39cb1a7e
Catalogue record
Date deposited: 20 Feb 2006
Last modified: 14 Mar 2024 07:02
Export record
Contributors
Author:
V. Manquinho
Author:
J. P. Marques-Silva
Editor:
F. Bacchus
Editor:
T. Walsh
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.