DeepAI AI Chat
Log In Sign Up

Unsatisfiable Cores and Lower Bounding for Constraint Programming

08/25/2015
by   Nicholas Downing, et al.
The University of Melbourne
0

Constraint Programming (CP) solvers typically tackle optimization problems by repeatedly finding solutions to a problem while placing tighter and tighter bounds on the solution cost. This approach is somewhat naive, especially for soft-constraint optimization problems in which the soft constraints are mostly satisfied. Unsatisfiable-core approaches to solving soft constraint problems in SAT (e.g. MAXSAT) force all soft constraints to be hard initially. When solving fails they return an unsatisfiable core, as a set of soft constraints that cannot hold simultaneously. These are reverted to soft and solving continues. Since lazy clause generation solvers can also return unsatisfiable cores we can adapt this approach to constraint programming. We adapt the original MAXSAT unsatisfiable core solving approach to be usable for constraint programming and define a number of extensions. Experimental results show that our methods are beneficial on a broad class of CP-optimization benchmarks involving soft constraints, cardinality or preferences.

READ FULL TEXT

page 1

page 2

page 3

page 4

05/08/2013

Unsatisfiable Cores for Constraint Programming

Constraint Programming (CP) solvers typically tackle optimization proble...
09/17/2021

Modeling and Solving Graph Synthesis Problems Using SAT-Encoded Reachability Constraints in Picat

Many constraint satisfaction problems involve synthesizing subgraphs tha...
04/24/2017

Stochastic Constraint Programming as Reinforcement Learning

Stochastic Constraint Programming (SCP) is an extension of Constraint Pr...
09/01/2020

XCSP3-core: A Format for Representing Constraint Satisfaction/Optimization Problems

In this document, we introduce XCSP3-core, a subset of XCSP3 that allows...
12/10/2012

Soft Constraint Logic Programming for Electric Vehicle Travel Optimization

Soft Constraint Logic Programming is a natural and flexible declarative ...
02/25/2017

Contractibility for Open Global Constraints

Open forms of global constraints allow the addition of new variables to ...
07/03/2018

Stochastic Constraint Optimization using Propagation on Ordered Binary Decision Diagrams

A number of problems in relational Artificial Intelligence can be viewed...