Francisco Menezes

Publication Activity (10 Years)

Years Active: 1989-1996
Publications (10 Years): 0

Publications

Christian Holzbaur, Francisco Menezes, Pedro Barahona
Defeasibility in CLP(Q) through Generalized Slack Variables. CP (1996)
Francisco Menezes, Pedro Barahona
Defeasible Constraint Solving. Over-Constrained Systems (1995)
Francisco Menezes, Pedro Barahona
Heuristics and look-ahead integration to solve constraint satisfaction problems efficiently. Ann. Oper. Res. 50 (1) (1994)
Francisco Menezes, Pedro Barahona
Preliminary Formalization of an Incremental Hierarchical Constraint Solver. EPIA (1993)
Francisco Menezes, Pedro Barahona, Philippe Codognet
An Incremental Hierarchical Constraint Solver. PPCP (1993)
Francisco Menezes, Pedro Barahona
Constraint Solving in Finite Domains under User Control. EPIA (1991)
Pedro Barahona, Mario Veloso, Ricardo Amador, Francisco Menezes
Some Issues in the Control of Interactive Differential Diagnosis. AIME (1989)