Satisfiability-Based Algorithms for Pseudo-Boolean Optimization Using Gomory Cuts and Search Restarts
Satisfiability-Based Algorithms for Pseudo-Boolean Optimization Using Gomory Cuts and Search Restarts
Manquinho, V.
45daf4e1-c83c-46f4-9948-4e3027e669b9
Marques-Silva, J. P.
89a72f8f-541d-46fc-8bb7-c621f720c991
November 2005
Manquinho, V.
45daf4e1-c83c-46f4-9948-4e3027e669b9
Marques-Silva, J. P.
89a72f8f-541d-46fc-8bb7-c621f720c991
Manquinho, V. and Marques-Silva, J. P.
(2005)
Satisfiability-Based Algorithms for Pseudo-Boolean Optimization Using Gomory Cuts and Search Restarts.
International Conference on Tools with Artificial Intelligence, Hong Kong, China.
Record type:
Conference or Workshop Item
(Paper)
Text
jpms-ictai05b.pdf
- Other
More information
Published date: November 2005
Additional Information:
Event Dates: November 2005
Venue - Dates:
International Conference on Tools with Artificial Intelligence, Hong Kong, China, 2005-11-01
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 261993
URI: http://eprints.soton.ac.uk/id/eprint/261993
PURE UUID: 11ab37c0-ee87-485c-8a19-7f00d8206b37
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
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.
View more statistics