Francisco Menezes

According to our database, Francisco Menezes authored at least 7 papers between 1989 and 1996.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1996

Defeasibility in CLP(Q) through Generalized Slack Variables.

Christian Holzbaur, Francisco Menezes, Pedro Barahona

Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, 1996

1995

Defeasible Constraint Solving.

Francisco Menezes, Pedro Barahona

Proceedings of the Over-Constrained Systems, 1995

1994

Heuristics and look-ahead integration to solve constraint satisfaction problems efficiently.

Francisco Menezes, Pedro Barahona

Ann. Oper. Res., 1994

1993

An Incremental Hierarchical Constraint Solver.

Francisco Menezes, Pedro Barahona, Philippe Codognet

Proceedings of the Principles and Practice of Constraint Programming, 1993

Preliminary Formalization of an Incremental Hierarchical Constraint Solver.

Francisco Menezes, Pedro Barahona

Proceedings of the Progress in Artificial Intelligence, 1993

1991

Constraint Solving in Finite Domains under User Control.

Francisco Menezes, Pedro Barahona

Proceedings of the EPIA 91, 1991

1989

Some Issues in the Control of Interactive Differential Diagnosis.

Pedro Barahona, Mario Veloso, Ricardo Amador, Francisco Menezes

Proceedings of the AIME 89, 1989