Output details
11 - Computer Science and Informatics
University of Hertfordshire
Article title
Analysis of Local Search Landscapes for k-SAT Instances
Type
D - Journal article
Title of journal
Mathematics in Computer Science
Article number
-
Volume number
3
Issue number
4
First page of article
465
ISSN of journal
1661-8270
Year of publication
2010
URL
-
Number of additional authors
2
Additional information
<13> This article provides a full analysis of results from an inter-disciplinary project combining a formal mathematical analysis of k-SAT landscapes with empirical support derived from computational simulations. Preliminary versions of some results were presented at previous conferences/workshops (the IEEE Congress on Evolutionary Computation 2008, the Tenth International Symposium on Artificial Intelligence and Mathematics 2008, and the London Algorithms Workshop 2009); this paper gives an extended treatment based on more comprehensive experiments, and proves a tighter mathematical bound.
Interdisciplinary
Yes
Cross-referral requested
-
Research group
None
Citation count
2
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
