Relaxation search: a simple way of managing optional clauses - INRAE - Institut national de recherche pour l’agriculture, l’alimentation et l’environnement Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Relaxation search: a simple way of managing optional clauses

Résumé

A number of problems involve managing a set of optional clauses. For example, the soft clauses in a MAXSAT formula are optional—they can be falsified for a cost. Similarly, when computing a Minimum Correction Set for an unsatisfiable formula, all clauses are optional—some can be falsified in order to satisfy the remaining. In both of these cases the task is to find a subset of the optional clauses that achieves some criteria, and whose removal leaves a satisfiable formula. Relaxation search is a simple method of using a standard SAT solver to solve this task. Relaxation search is easy to implement, sometimes requiring only a simple modification of the variable selection heuristic in the SAT solver; it offers considerable flexibility and control over the order in which subsets of optional clauses are examined; and it automatically exploits clause learning to exchange information between the two phases of finding a suitable subset of optional clauses and checking if their removal yields satisfiability. We demonstrate how relaxation search can be used to solve MAXSAT and to compute Minimum Correction Sets. In both cases relaxation search is able to achieve state-of-the-art performance and solve some instances other solvers are not able to solve.
Fichier principal
Vignette du fichier
Relaxation search_a simple way of managing optional clauses_GK_1.pdf (522.11 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02738910 , version 1 (02-06-2020)

Identifiants

  • HAL Id : hal-02738910 , version 1
  • PRODINRA : 263230

Citer

Fahiem Bacchus, Jessica Davies, Maria Tsimpoukelli, George Katsirelos. Relaxation search: a simple way of managing optional clauses. AAAI 2014 - 28th AAAI Conference, Association for the Advancement of Artificial Intelligence (AAAI). USA., Jul 2014, Québec, Canada. 7 p. ⟨hal-02738910⟩
14 Consultations
20 Téléchargements

Partager

Gmail Facebook X LinkedIn More