Found 150 results for "Constraint databases"
by Peter Revesz
All good products provide some abstraction for the users.
by Gabriel Kuper, Leonid Libkin
The field of constraint databases (CDB) was initiated in 1990 in a paper by Kanellakis, Kuper, and Revesz [KKR90, KKR95]...
by International Workshop on Constraint Database and Systems (2nd 1997 Delphi, Greece), V. Vianu
Recently we have seen a surge of interest [3, 2, 4, 11, 5, 13, 15, 16, 9] in developing formal methods for reasoning abo...
by International Symposium on Constraint Databases (1st 2004 Paris, France)
by ESPRIT WG CONTESSA Workshop (1995 Friedrichshafen, Germany)
by Panagiotis Papakammenos
by CDB 2004 (2004 Paris, France)
Constraint databases that can be described by boolean combinations of polynomial inequalities over the reals have receiv...
by ESPRIT WG CONTESSA Workshop (1995 Friedrichshafen, Germany)
In the last ten years, constraint logic programming has been increasingly studied as a tool to develop decision support ...
by Roman Gross-Brunschwiler
by Gabriel Kuper, M. Wallace
In the last ten years, constraint logic programming has been increasingly studied as a tool to develop decision support ...
In the last ten years, constraint logic programming has been increasingly studied as a tool to develop decision support ...