|
Search the dblp DataBase
Patrice Boizumault:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Patrice Boizumault, Yan Delon, Laurent Péridy
A CLP Approach for Examination Planning. [Citation Graph (0, 0)][DBLP] Constraint Processing, Selected Papers, 1995, pp:85-101 [Conf]
- Narendra Jussien, Patrice Boizumault
Implementing Constraint Relaxation over Finite Domains Using Assumption-Based Truth Maintenance Systems. [Citation Graph (0, 0)][DBLP] Over-Constrained Systems, 1995, pp:265-280 [Conf]
- Narendra Jussien, Romuald Debruyne, Patrice Boizumault
Maintaining Arc-Consistency within Dynamic Backtracking. [Citation Graph (0, 0)][DBLP] CP, 2000, pp:249-261 [Conf]
- Muriel Lauvergne, Philippe David, Patrice Boizumault
Connections Reservation with Rerouting for ATM Networks: A Hybrid Approach with Constraints. [Citation Graph (0, 0)][DBLP] CP, 2002, pp:649-663 [Conf]
- Patrice Boizumault
A Classical Implementation for Prolog-II. [Citation Graph (0, 0)][DBLP] ESOP, 1986, pp:262-273 [Conf]
- Samir Ouis, Narendra Jussien, Patrice Boizumault
k-relevant Explanations for Constraint Programming. [Citation Graph (0, 0)][DBLP] FLAIRS Conference, 2003, pp:192-196 [Conf]
- Olivier Ridoux, Patrice Boizumault, Frédéric Malésieux
Typed Static Analysis: Application to Groundness Analysis of PROLOG and lambda-PROLOG. [Citation Graph (0, 0)][DBLP] Fuji International Symposium on Functional and Logic Programming, 1999, pp:267-283 [Conf]
- Patrice Boizumault
A General Model to Implement DIF and FREEZE. [Citation Graph (0, 0)][DBLP] ICLP, 1986, pp:585-592 [Conf]
- Frédéric Malésieux, Olivier Ridoux, Patrice Boizumault
Abstract Compilation of lambda-Prolog. [Citation Graph (0, 0)][DBLP] IJCSLP, 1998, pp:130-144 [Conf]
- Samir Loudni, Patrice Boizumault
A New Hybrid Method for Solving Constraint Optimization Problems in Anytime Contexts. [Citation Graph (0, 0)][DBLP] ICTAI, 2001, pp:325-332 [Conf]
- Samir Loudni, Patrice Boizumault
Solving Constraint Optimization Problems in Anytime Contexts. [Citation Graph (0, 0)][DBLP] IJCAI, 2003, pp:251-256 [Conf]
- Patrice Boizumault
Sur la transformation de l'appel terminal en itération dans un interprète PROLOG. [Citation Graph (0, 0)][DBLP] SPLT, 1983, pp:- [Conf]
- Patrice Boizumault
Un modèle de trace pour PROLOG. [Citation Graph (0, 0)][DBLP] SPLT, 1984, pp:- [Conf]
- Narendra Jussien, Patrice Boizumault
Maintien de déduction pour la relaxation de contraintes. [Citation Graph (0, 0)][DBLP] JFPLC, 1996, pp:239-254 [Conf]
- Narendra Jussien, Patrice Boizumault
Stratégies en meilleur d'abord pour la relaxation de contraintes. [Citation Graph (0, 0)][DBLP] JFPLC, 1997, pp:149-0 [Conf]
- Samir Loudni, Patrice Boizumault, Philippe David
Réservation en ligne avec reroutage de demandes de connexion dans les réseaux ATM. [Citation Graph (0, 0)][DBLP] JFPLC, 2003, pp:169-182 [Conf]
- Samir Ouis, Narendra Jussien, Patrice Boizumault
Explications k-relevantes pour la programmation par contraintes. [Citation Graph (0, 0)][DBLP] JFPLC, 2003, pp:111-124 [Conf]
- Frédéric Malésieux, Olivier Ridoux, Patrice Boizumault
Compilation abstraite de LambdaProlog. [Citation Graph (0, 0)][DBLP] JFPLC, 1998, pp:287-0 [Conf]
- Frédéric Malésieux, Olivier Ridoux, Patrice Boizumault
Analyse statique typée: application à l'analyse de clôtures de lambda-Prolog. [Citation Graph (0, 0)][DBLP] JFPLC, 1999, pp:55-72 [Conf]
- Samir Ouis, Narendra Jussien, Patrice Boizumault
COINS: a constraint-based interactive solving system. [Citation Graph (0, 0)][DBLP] WLPE, 2002, pp:31-46 [Conf]
- Christelle Guéret, Narendra Jussien, Patrice Boizumault, Christian Prins
Building University Timetables Using Constraint Logic Programming. [Citation Graph (0, 0)][DBLP] PATAT, 1995, pp:130-145 [Conf]
- Patrice Boizumault, Yan Delon, Laurent Péridy
Solving a real life exams problem using CHIP. [Citation Graph (0, 0)][DBLP] ILPS, 1993, pp:661- [Conf]
- Narendra Jussien, Patrice Boizumault
Best-First Search for Property Maintenance in Reactive Constraint Systems. [Citation Graph (0, 0)][DBLP] ILPS, 1997, pp:339-353 [Conf]
- Samir Loudni, Patrice Boizumault, Philippe David
On-line resources allocation for ATM networks with rerouting. [Citation Graph (0, 0)][DBLP] Computers & OR, 2006, v:33, n:10, pp:2891-2917 [Journal]
- Samir Ouis, Narendra Jussien, Patrice Boizumault
COINS: a constraint-based interactive solving system [Citation Graph (0, 0)][DBLP] CoRR, 2002, v:0, n:, pp:- [Journal]
- Olivier Ridoux, Patrice Boizumault
Typed Static Analysis: Application to the Groundness Analysis of Typed Prolog. [Citation Graph (0, 0)][DBLP] Journal of Functional and Logic Programming, 2001, v:2001, n:4, pp:- [Journal]
- Patrice Boizumault, Yan Delon, Laurent Péridy
Constraint Logic Programming for Examination Timetabling. [Citation Graph (0, 0)][DBLP] J. Log. Program., 1996, v:26, n:2, pp:217-233 [Journal]
- Patrice Boizumault, Philippe David, Samir Loudni
Réservation en ligne avec reroutage de demandes de connexion dans les réseaux ATM. [Citation Graph (0, 0)][DBLP] Technique et Science Informatiques, 2003, v:22, n:1, pp:169-182 [Journal]
- Patrice Boizumault, Narendra Jussien, Samir Ouis
Explications k-relevantes pour la programmation par contraintes. [Citation Graph (0, 0)][DBLP] Technique et Science Informatiques, 2003, v:22, n:1, pp:111-124 [Journal]
Solving Nurse Rostering Problems Using Soft Global Constraints. [Citation Graph (, )][DBLP]
Allier CSPs et motifs locaux pour la découverte de motifs sous contraintes n-aires. [Citation Graph (, )][DBLP]
Boosting VNS with Neighborhood Heuristics for Solving Constraint Optimization Problems. [Citation Graph (, )][DBLP]
Combining CSP and Constraint-Based Mining for Pattern Discovery. [Citation Graph (, )][DBLP]
All Different: Softening AllDifferent in Weighted CSPs. [Citation Graph (, )][DBLP]
A Value Ordering Heuristic for Weighted CSP. [Citation Graph (, )][DBLP]
Softening Gcc and Regular with preferences. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.304secs
|