Marques-Silva, Joao and Sakallah, Karem (1996) Conflict Analysis in Search Algorithms for Satisfiability. International Conference on Tools with Artificial Intelligence, Toulouse, France. pp. 467-469 .
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: 1996
Additional Information:
Event Dates: 1996
Venue - Dates:
International Conference on Tools with Artificial Intelligence, Toulouse, France, 1996-01-01
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 265008
URI: http://eprints.soton.ac.uk/id/eprint/265008
PURE UUID: 5596861a-0479-441b-a5a9-18508e93879a
Catalogue record
Date deposited: 06 Jan 2008 11:16
Last modified: 14 Mar 2024 08:00
Export record
Contributors
Author:
Joao Marques-Silva
Author:
Karem Sakallah
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.