Complexity of Max-SAT using stochastic algorithms
Complexity of Max-SAT using stochastic algorithms
Hill-climbing has been shown to be more effective than exhaustive search in solving satisfiability problems. Also, it has been used either by itself or in combination with other methods to solve the most difficult region of SAT, the phase transition. We show that hill-climbing also finds SAT problems difficult around the phase transition. It too follows an easy-hard-eays transition.
Qasem, Mohamed
e7828af0-2b26-4142-85a6-1e92298af47c
Prugel-Bennett, Adam
b107a151-1751-4d8b-b8db-2c395ac4e14e
2008
Qasem, Mohamed
e7828af0-2b26-4142-85a6-1e92298af47c
Prugel-Bennett, Adam
b107a151-1751-4d8b-b8db-2c395ac4e14e
Qasem, Mohamed and Prugel-Bennett, Adam
(2008)
Complexity of Max-SAT using stochastic algorithms.
Proceedings of the 10th annual conference on Genetic and evolutionary computation, Atlanta, USA, Georgia.
Record type:
Conference or Workshop Item
(Poster)
Abstract
Hill-climbing has been shown to be more effective than exhaustive search in solving satisfiability problems. Also, it has been used either by itself or in combination with other methods to solve the most difficult region of SAT, the phase transition. We show that hill-climbing also finds SAT problems difficult around the phase transition. It too follows an easy-hard-eays transition.
Text
t07pap188-qasem.pdf
- Accepted Manuscript
More information
Published date: 2008
Additional Information:
Event Dates: 2008
Venue - Dates:
Proceedings of the 10th annual conference on Genetic and evolutionary computation, Atlanta, USA, Georgia, 2008-01-01
Organisations:
Southampton Wireless Group
Identifiers
Local EPrints ID: 268062
URI: http://eprints.soton.ac.uk/id/eprint/268062
PURE UUID: 022de34d-ed9a-4a30-bd91-5dbd86a793d2
Catalogue record
Date deposited: 19 Oct 2009 09:35
Last modified: 14 Mar 2024 09:03
Export record
Contributors
Author:
Mohamed Qasem
Author:
Adam Prugel-Bennett
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.
View more statistics