Variable Elimination in Binary CSPs - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Journal of Artificial Intelligence Research Année : 2019

Variable Elimination in Binary CSPs

Résumé

We investigate rules which allow variable elimination in binary CSP (constraint satisfaction problem) instances while conserving satisfiability. We study variable-elimination rules based on the language of forbidden patterns enriched with counting and quantification over variables and values. We propose new rules and compare them, both theoretically and experimentally. We give optimised algorithms to apply these rules and show that each defines a novel tractable class. Using our variable-elimination rules in preprocessing allowed us to solve more benchmark problems than without.
Fichier principal
Vignette du fichier
11295-Article (PDF)-22350-1-10-20191030-1.pdf (538.12 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

hal-02338904 , version 1 (04-11-2019)

Identifiants

Citer

Martin Cooper, Achref El Mouelhi, Cyril Terrioux. Variable Elimination in Binary CSPs. Journal of Artificial Intelligence Research, 2019, 66, pp.589 - 624. ⟨10.1613/jair.1.11295⟩. ⟨hal-02338904⟩
76 Consultations
98 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More