Solving Over-Constrained CSPs Using Weighted OBDDs

@inproceedings{Bouquet1995SolvingOC,
  title={Solving Over-Constrained CSPs Using Weighted OBDDs},
  author={Fabrice Bouquet and Philippe J{\'e}gou},
  booktitle={Over-Constrained Systems},
  year={1995}
}
Abstrac t . In Artificial Intelligence, for practical applications, we often have to manage over-constrained systems of constraints. So, a model based on the formalism of finite Constraint Satisfaction Problems (CSPs) [14] has been proposed with Dynamic CSPs (DCSPs)to handle this kind of problems [10][11]. Some classical techniques defined in the field of CSPs are usable in DCSPs, but the management of over-constrained system with DCSPs induces new problems. The purpose of this paper is to… CONTINUE READING

From This Paper

Figures, tables, results, connections, and topics extracted from this paper.
4 Extracted Citations
16 Extracted References
Similar Papers

Referenced Papers

Publications referenced by this paper.
Showing 1-10 of 16 references

Synthia : Assited design of peptide synthesis plans

  • P. Janssen, P. Jgou, B. Nougier, M. C. Vilarem, B. Castro
  • New Journal of Chemistry,
  • 1990
Highly Influential
4 Excerpts

Cedre version 0.2 : user's guide

  • A. Rauzy
  • Technical report, LaBRI URA CNRS 1304,
  • 1994
1 Excerpt

Using Binary Decision Diagrams to solve Dynamic CSPs : Preliminary Report

  • P. Jgou
  • 1994
1 Excerpt

Toupie user's manual

  • M. Corsini, A. Rauzy
  • Technical report, LABRI, Universit~ de Bordeaux I…
  • 1993
1 Excerpt

Similar Papers

Loading similar papers…