Searching for authors named "Patrice Boizumault" – sorted by Relevance.
-
Typed static analysis: Application to groundness analysis of Prolog and lambda-Prolog
- /IFSIC, Campus universitaire de Beaulieu F-35042 RENNES cedex, FRANCE Olivier.Ridoux@(email omitted); Patrice Boizumault
- Cited by 6 (1 self) – Add To MetaCart
-
A Best First approach for solving over-constrained dynamic problems
- Boizumault ' Ecole des Mines de Nantes Abstract Many real-life problems tackled using Constraint Programming
- Cited by 4 (3 self) – Add To MetaCart
-
Implementing Constraint Relaxation over Finite Domains using Assumption-based Truth Maintenance Systems
- Systems Narendra Jussien and Patrice Boizumault ' Ecole des Mines de Nantes. D'epartement Informatique. 4
- Cited by 5 (2 self) – Add To MetaCart
-
Best-first search for property maintenance in reactive constraints systems
- and Patrice Boizumault École des Mines de Nantes – Département Informatique 4 Rue Alfred Kastler – BP 20722 F
- Cited by 5 (3 self) – Add To MetaCart
-
Best-first search for propertymaintenance in reactive constraints systems Narendra Jussien
- and Patrice Boizumault Ecole des Mines de Nantes { Departement Informatique 4 Rue Alfred Kastler { BP 20722 F
- Add To MetaCart
-
COINS: a constraint-based interactive solving system
- Boizumault 2 lcole des Mines de Nantes 4, rue Alfred Kastler - BP 20722 F-44307 Nantes Cedex 3 - France
- Add To MetaCart
-
Maintaining Arc-Consistency within Dynamic Backtracking
- , and Patrice Boizumault 1 Ecole des Mines de Nantes 4 rue Alfred Kastler { BP 20722 F-44307 Nantes Cedex 3
- Cited by 35 (13 self) – Add To MetaCart
-
k-Relevant Explanations for Constraint Programming
- , and Patrice Boizumault 2 1 Ecole des Mines de Nantes 4, rue Alfred Kastler { BP 20722 F-44307 Nantes Cedex
- Cited by 16 (4 self) – Add To MetaCart
-
Dynamic Backtracking with Constraint Propagation
- Boizumault Ecole des Mines de Nantes{Departement Informatique 4 Rue Alfred Kastler { BP 20722 F-44307 Nantes
- Add To MetaCart
-
Implementing Constraint Relaxation over Finite Domains using Assumption-based Truth Maintenance Systems
- Systems Narendra Jussien and Patrice Boizumault Ecole des Mines de Nantes. Departement Informatique. 4 Rue
- Add To MetaCart

