• Publications
  • Influence
Existential arc consistency: Getting closer to full arc consistency in weighted CSPs
TLDR
The weighted CSP framework is a soft constraint framework with a wide range of applications. Expand
  • 174
  • 29
  • PDF
Solving weighted CSP by maintaining arc consistency
TLDR
We introduce a stronger form of arc consistency (AC*) along with two O(n2d2+ed3) algorithms. Expand
  • 194
  • 24
  • PDF
In the quest of the best form of local consistency for Weighted CSP
TLDR
The weighted CSP (WCSP) framework is a soft constraint framework with a wide range of applications. Expand
  • 158
  • 22
  • PDF
Node and arc consistency in weighted CSP
TLDR
A general definition of arc consistency (AC) for soft constraint frameworks has been proposed (Schiex 2000). Expand
  • 105
  • 22
  • PDF
MiniMaxSAT: An Efficient Weighted Max-SAT solver
TLDR
We introduce MINIMAXSAT, a new Max-SAT solver that is built on top of MIN-ISAT+.It incorporates the best current SAT and Max-sAT techniques. Expand
  • 127
  • 16
  • PDF
On Forward Checking for Non-binary Constraint Satisfaction
TLDR
This paper focuses onthe well-known forward checking algorithm, and shows that it can begeneralized to several non-binary versions, all fitting its binarydefinition. Expand
  • 134
  • 15
  • PDF
Bucket elimination for multiobjective optimization problems
TLDR
We extend bucket elimination (BE), a well known dynamic programming generic algorithm, from mono-objective to multiobjective optimization. Expand
  • 63
  • 15
  • PDF
Resolution in Max-SAT and its relation to local consistency in weighted CSPs
TLDR
Max-SAT is an optimization version of the well-known SAT problem. Expand
  • 61
  • 13
  • PDF
Maintaining Reversible DAC for Max-CSP
TLDR
We introduce an exact algorithm for maximizing the number of satisfied constraints in an overconstrained CSP (Max-CSP). Expand
  • 120
  • 11
MiniMaxSat: A New Weighted Max-SAT Solver
TLDR
In this paper we introduce MINIMAXSAT, a new Max-SAT solver that incorporates the best SAT and Max- SAT techniques. Expand
  • 72
  • 10
  • PDF