Francisco Menezes

	1996
5		Christian Holzbaur, Francisco Menezes, Pedro Barahona: Defeasibility in CLP(Q) through Generalized Slack Variables. CP 1996: 209-223
	1995
4		Francisco Menezes, Pedro Barahona: Defeasible Constraint Solving. Over-Constrained Systems 1995: 151-170
	1993
3		Francisco Menezes, Pedro Barahona: Preliminary Formalization of an Incremental Hierarchical Constraint Solver. EPIA 1993: 281-296
2		Francisco Menezes, Pedro Barahona, Philippe Codognet: An Incremental Hierarchical Constraint Solver. PPCP 1993: 190-199
	1991
1		Francisco Menezes, Pedro Barahona: Constraint Solving in Finite Domains under User Control. EPIA 1991: 17-29

Coauthor Index

1	Pedro Barahona	[1] [2] [3] [4] [5]
2	Philippe Codognet	[2]
3	Christian Holzbaur	[5]