Patrice Boizumault

2009
34	EE	Jean-Philippe Métivier, Patrice Boizumault, Samir Loudni: Softening Gcc and Regular with preferences. SAC 2009: 1392-1396
2008
33	EE	Nicolas Levasseur, Patrice Boizumault, Samir Loudni: Boosting VNS with Neighborhood Heuristics for Solving Constraint Optimization Problems. Hybrid Metaheuristics 2008: 131-145
32	EE	Samir Loudni, Patrice Boizumault: Combining VNS with constraint programming for solving anytime optimization problems. European Journal of Operational Research 191(3): 705-735 (2008)
2007
31	EE	Jean-Philippe Métivier, Patrice Boizumault, Samir Loudni: All Different: Softening AllDifferent in Weighted CSPs. ICTAI (1) 2007: 223-230
30	EE	Nicolas Levasseur, Patrice Boizumault, Samir Loudni: A Value Ordering Heuristic for Weighted CSP. ICTAI (1) 2007: 259-262
2006
29	EE	Samir Loudni, Patrice Boizumault, Philippe David: On-line resources allocation for ATM networks with rerouting. Computers & OR 33(10): 2891-2917 (2006)
2003
28		Samir Ouis, Narendra Jussien, Patrice Boizumault: k-relevant Explanations for Constraint Programming. FLAIRS Conference 2003: 192-196
27		Samir Loudni, Patrice Boizumault: Solving Constraint Optimization Problems in Anytime Contexts. IJCAI 2003: 251-256
26		Samir Ouis, Narendra Jussien, Patrice Boizumault: Explications k-relevantes pour la programmation par contraintes. JFPLC 2003: 111-124
25		Samir Loudni, Patrice Boizumault, Philippe David: Réservation en ligne avec reroutage de demandes de connexion dans les réseaux ATM. JFPLC 2003: 169-182
24	EE	Patrice Boizumault, Narendra Jussien, Samir Ouis: Explications k-relevantes pour la programmation par contraintes. Technique et Science Informatiques 22(1): 111-124 (2003)
23	EE	Patrice Boizumault, Philippe David, Samir Loudni: Réservation en ligne avec reroutage de demandes de connexion dans les réseaux ATM. Technique et Science Informatiques 22(1): 169-182 (2003)
2002
22	EE	Muriel Lauvergne, Philippe David, Patrice Boizumault: Connections Reservation with Rerouting for ATM Networks: A Hybrid Approach with Constraints. CP 2002: 649-663
21	EE	Samir Ouis, Narendra Jussien, Patrice Boizumault: COINS: a constraint-based interactive solving system. WLPE 2002: 31-46
20	EE	Samir Ouis, Narendra Jussien, Patrice Boizumault: COINS: a constraint-based interactive solving system CoRR cs.SE/0207046: (2002)
2001
19	EE	Samir Loudni, Patrice Boizumault: A New Hybrid Method for Solving Constraint Optimization Problems in Anytime Contexts. ICTAI 2001: 325-332
18		Olivier Ridoux, Patrice Boizumault: Typed Static Analysis: Application to the Groundness Analysis of Typed Prolog. Journal of Functional and Logic Programming 2001(4): (2001)
2000
17	EE	Narendra Jussien, Romuald Debruyne, Patrice Boizumault: Maintaining Arc-Consistency within Dynamic Backtracking. CP 2000: 249-261
1999
16		Olivier Ridoux, Patrice Boizumault, Frédéric Malésieux: Typed Static Analysis: Application to Groundness Analysis of PROLOG and lambda-PROLOG. Fuji International Symposium on Functional and Logic Programming 1999: 267-283
15		Frédéric Malésieux, Olivier Ridoux, Patrice Boizumault: Analyse statique typée: application à l'analyse de clôtures de lambda-Prolog. JFPLC 1999: 55-72
1998
14		Frédéric Malésieux, Olivier Ridoux, Patrice Boizumault: Abstract Compilation of lambda-Prolog. IJCSLP 1998: 130-144
13		Frédéric Malésieux, Olivier Ridoux, Patrice Boizumault: Compilation abstraite de LambdaProlog. JFPLC 1998: 287-
1997
12		Narendra Jussien, Patrice Boizumault: Best-First Search for Property Maintenance in Reactive Constraint Systems. ILPS 1997: 339-353
11		Narendra Jussien, Patrice Boizumault: Stratégies en meilleur d'abord pour la relaxation de contraintes. JFPLC 1997: 149-
1996
10		Narendra Jussien, Patrice Boizumault: Maintien de déduction pour la relaxation de contraintes. JFPLC 1996: 239-254
9		Patrice Boizumault, Yan Delon, Laurent Péridy: Constraint Logic Programming for Examination Timetabling. J. Log. Program. 26(2): 217-233 (1996)
1995
8		Patrice Boizumault, Yan Delon, Laurent Péridy: A CLP Approach for Examination Planning. Constraint Processing, Selected Papers 1995: 85-101
7		Narendra Jussien, Patrice Boizumault: Implementing Constraint Relaxation over Finite Domains Using Assumption-Based Truth Maintenance Systems. Over-Constrained Systems 1995: 265-280
6		Christelle Guéret, Narendra Jussien, Patrice Boizumault, Christian Prins: Building University Timetables Using Constraint Logic Programming. PATAT 1995: 130-145
1993
5		Patrice Boizumault, Yan Delon, Laurent Péridy: Solving a real life exams problem using CHIP. ILPS 1993: 661
1986
4		Patrice Boizumault: A Classical Implementation for Prolog-II. ESOP 1986: 262-273
3		Patrice Boizumault: A General Model to Implement DIF and FREEZE. ICLP 1986: 585-592
1984
2		Patrice Boizumault: Un modèle de trace pour PROLOG. SPLT 1984
1983
1		Patrice Boizumault: Sur la transformation de l'appel terminal en itération dans un interprète PROLOG. SPLT 1983

Coauthor Index

1	Philippe David	[22] [23] [25] [29]
2	Romuald Debruyne	[17]
3	Yan Delon	[5] [8] [9]
4	Christelle Guéret	[6]
5	Narendra Jussien	[6] [7] [10] [11] [12] [17] [20] [21] [24] [26] [28]
6	Muriel Lauvergne	[22]
7	Nicolas Levasseur	[30] [33]
8	Samir Loudni	[19] [23] [25] [27] [29] [30] [31] [32] [33] [34]
9	Frédéric Malésieux	[13] [14] [15] [16]
10	Jean-Philippe Métivier	[31] [34]
11	Samir Ouis	[20] [21] [24] [26] [28]
12	Laurent Péridy	[5] [8] [9]
13	Christian Prins	[6]
14	Olivier Ridoux	[13] [14] [15] [16] [18]

Colors in the list of coauthors