output
20052022
most citedNopol: Automatic Repair of Conditional Statement Bugs in Java Programs

432 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing 2016 · cs.AIShow all

5 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

Parameterized Compilation Lower Bounds for Restricted CNF-formulas

Stefan Mengel

We show unconditional parameterized lower bounds in the area of knowledge compilation, more specifically on the size of circuits in decomposable negation normal form (DNNF) that en…

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★ 3 cited

Agenda Separability in Judgment Aggregation

Jérôme Lang, Marija Slavkovik, Srdjan Vesic

One of the better studied properties for operators in judgment aggregation is independence, which essentially dictates that the collective judgment on one issue should not depend o…

cs.AI2016

A Comparative Study of Ranking-based Semantics for Abstract Argumentation

Elise Bonzon, Jérôme Delobelle, Sébastien Konieczny +1

Argumentation is a process of evaluating and comparing a set of arguments. A way to compare them consists in using a ranking-based semantics which rank-order arguments from the mos…