Abscon 112: towards more robustness

Christophe Lecoutre (1) , Sébastien Tabary (1)

1 CRIL - Centre de Recherche en Informatique de Lens

This paper describes the three main improvements made to the solver Abscon 109 [9]. The new version, Abscon 112, is able to automatically break some variable symmetries, infer allDifferent constraints from cliques of variables that are pair-wise irreexive, and use an optimized version of the STR (Simple Tabular Reduction) technique initially introduced by J. Ullmann for table constraints.

Domaines: Intelligence artificielle [cs.AI]

Christophe Lecoutre, Sébastien Tabary. Abscon 112: towards more robustness. 3rd International Constraint Solver Competition (CSC'08), 2008, Sydney, Australia. pp.41-48. ⟨hal-00870841⟩