432 citations · 625 across the 7 of their papers we have counts for
Showing 2014Show all
3 papers · 1 filter
cs.AI2014★ 3 cited
On the Complexity of Optimization Problems based on Compiled NNF Representations
Daniel Le Berre, Emmanuel Lonca, Pierre Marquis
Optimization is a key task in a number of applications. When the set of feasible solutions under consideration is of combinatorial nature and described in an implicit way as a set…
cs.AI2014
Some thoughts about benchmarks for NMR
Daniel Le Berre
The NMR community would like to build a repository of benchmarks to push forward the design of systems implementing NMR as it has been the case for many other areas in AI. There ar…
cs.SE2014★ 144 cited
Automatic Repair of Buggy If Conditions and Missing Preconditions with SMT
Favio Demarco, Jifeng Xuan, Daniel Le Berre +1
We present Nopol, an approach for automatically repairing buggy if conditions and missing preconditions. As input, it takes a program and a test suite which contains passing test c…