432 citations
- Centre National de la Recherche ScientifiqueFR69 papers
- Université de LilleFR38 papers
- Laboratoire de Mathématiques Blaise PascalFR20 papers
- École Centrale de LilleFR19 papers
- Unité de catalyse et de chimie du solide de LilleFR18 papers
- Centre de Recherche en InformatiqueFR16 papers
- Laboratoire Paul PainlevéFR14 papers
- Centre de Recherche en Informatique de LensFR11 papers
- Institut Universitaire de FranceFR10 papers
- École Nationale Supérieure de Chimie de LilleFR9 papers
- Laboratoire de Physique des PlasmasFR8 papers
- Université de Picardie Jules VerneFR7 papers
Showing 2016 · cs.AIShow all
3 papers · 2 filters
cs.AI2016★ 16 cited
XCSP3: An Integrated Format for Benchmarking Combinatorial Constrained Problems
Frederic Boussemart, Christophe Lecoutre, Gilles Audemard +1
We propose a major revision of the format XCSP 2.1, called XCSP3, to build integrated representations of combinatorial constrained problems. This new format is able to deal with mo…
cs.AI2016
Compact-Table: Efficiently Filtering Table Constraints with Reversible Sparse Bit-Sets
Jordan Demeulenaere, Renaud Hartert, Christophe Lecoutre +4
In this paper, we describe Compact-Table (CT), a bitwise algorithm to enforce Generalized Arc Consistency (GAC) on table con- straints. Although this algorithm is the default propa…
cs.AI2016★ 24 cited
A General Modifier-based Framework for Inconsistency-Tolerant Query Answering
Jean Francois Baget, Salem Benferhat, Zied Bouraoui +5
We propose a general framework for inconsistency-tolerant query answering within existential rule setting. This framework unifies the main semantics proposed by the state of art an…