Francisco Menezes
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
1989–1996
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1996 | CP | Defeasibility in CLP(Q) through Generalized Slack Variables. | Christian Holzbaur, Francisco Menezes, Pedro Barahona |
| 1995 | CP | Defeasible Constraint Solving. | Francisco Menezes, Pedro Barahona |
| 1993 | EPIA | Preliminary Formalization of an Incremental Hierarchical Constraint Solver. | Francisco Menezes, Pedro Barahona |
| 1991 | EPIA | Constraint Solving in Finite Domains under User Control. | Francisco Menezes, Pedro Barahona |
| 1989 | AIME | Some Issues in the Control of Interactive Differential Diagnosis. | Pedro Barahona, Mario Veloso, Ricardo Amador, Francisco Menezes |