loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Luís O. Rigo Jr. and Valmir C. Barbosa

Affiliation: Universidade Federal do Rio de Janeiro, Brazil

Keyword(s): MAX-SAT, MAX-SAT heuristics, Initial truth assignments.

Related Ontology Subjects/Areas/Topics: Artificial Intelligence ; Computational Intelligence ; Evolutionary Computing ; Genetic Algorithms ; Informatics in Control, Automation and Robotics ; Intelligent Control Systems and Optimization ; Soft Computing

Abstract: MAX-SAT heuristics normally operate from random initial truth assignments to the variables. We consider the use of what we call preambles, which are sequences of variables with corresponding single-variable assignment actions intended to be used to determine a more suitable initial truth assignment for a given problem instance and a given heuristic. For a number of well established MAX-SAT heuristics and benchmark instances, we demonstrate that preambles can be evolved by a genetic algorithm such that the heuristics are outperformed in a significant fraction of the cases. The heuristics we consider include the well-known novelty, walksat-tabu, and adaptnovelty+. Our benchmark instances are those of the 2004 SAT competition and those of the 2008 MAX-SAT evaluation.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.136.97.64

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
O. Rigo Jr., L. and C. Barbosa, V. (2011). EVOLVED PREAMBLES FOR MAX-SAT HEURISTICS. In Proceedings of the International Conference on Evolutionary Computation Theory and Applications (IJCCI 2011) - ECTA; ISBN 978-989-8425-83-6, SciTePress, pages 23-31. DOI: 10.5220/0003660400230031

@conference{ecta11,
author={Luís {O. Rigo Jr.}. and Valmir {C. Barbosa}.},
title={EVOLVED PREAMBLES FOR MAX-SAT HEURISTICS},
booktitle={Proceedings of the International Conference on Evolutionary Computation Theory and Applications (IJCCI 2011) - ECTA},
year={2011},
pages={23-31},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003660400230031},
isbn={978-989-8425-83-6},
}

TY - CONF

JO - Proceedings of the International Conference on Evolutionary Computation Theory and Applications (IJCCI 2011) - ECTA
TI - EVOLVED PREAMBLES FOR MAX-SAT HEURISTICS
SN - 978-989-8425-83-6
AU - O. Rigo Jr., L.
AU - C. Barbosa, V.
PY - 2011
SP - 23
EP - 31
DO - 10.5220/0003660400230031
PB - SciTePress

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic