Marques-Silva, Joao (1999) The Impact of Branching Heuristics in Propositional Satisfiability Algorithms. Portuguese Conference on Artificial Intelligence, Évora, Portugal. pp. 62-74 .
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: September 1999
Additional Information:
Event Dates: September 1999
Venue - Dates:
Portuguese Conference on Artificial Intelligence, Évora, Portugal, 1999-09-01
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 265006
URI: http://eprints.soton.ac.uk/id/eprint/265006
PURE UUID: 684df61d-4ed5-4e5d-aef3-963fdb784af2
Catalogue record
Date deposited: 06 Jan 2008 09:02
Last modified: 14 Mar 2024 08:00
Export record
Contributors
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.