Letombe, Florian and Marques-Silva, Joao (2008) Improvements to Hybrid Incremental SAT Algorithms. International Conference on Theory and Applications of Satisfiability Testing, Guangzhou, China.
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: May 2008
Additional Information:
Event Dates: May 2008
Venue - Dates:
International Conference on Theory and Applications of Satisfiability Testing, Guangzhou, China, 2008-05-01
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 265227
URI: http://eprints.soton.ac.uk/id/eprint/265227
PURE UUID: 8e11c8ca-dfbb-44e6-9516-45f9146bb7d9
Catalogue record
Date deposited: 29 Feb 2008 12:09
Last modified: 14 Mar 2024 08:04
Export record
Contributors
Author:
Florian Letombe
Author:
Joao 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.