A comparative runtime analysis of heuristic algorithms for satisfiability problems

Zhou, Y., He, J. ORCID: 0000-0002-5616-4691 and Nie, Q., 2009. A comparative runtime analysis of heuristic algorithms for satisfiability problems. Artificial Intelligence, 173 (2), pp. 240-257. ISSN 0004-3702

Full text not available from this repository.
Item Type: Journal article
Publication Title: Artificial Intelligence
Creators: Zhou, Y., He, J. and Nie, Q.
Publisher: Elsevier
Date: February 2009
Volume: 173
Number: 2
ISSN: 0004-3702
Identifiers:
NumberType
10.1016/j.artint.2008.11.002DOI
S0004370208001458Publisher Item Identifier
1262223Other
Divisions: Schools > School of Science and Technology
Depositing User: Jonathan Gallacher
Date Added: 16 Jan 2020 14:02
Last Modified: 16 Jan 2020 14:02
URI: http://irep.ntu.ac.uk/id/eprint/38995

Actions (login required)

Edit View Edit View

Views

Views per month over past year

Downloads

Downloads per month over past year