Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
CL
2000
Springer
12 years 1 months ago
Modelling Digital Circuits Problems with Set Constraints
A number of diagnostic and optimisation problems in Electronics Computer Aided Design have usually been handled either by specific tools or by mapping them into a general problem s...
Francisco Azevedo, Pedro Barahona
CL
2000
Springer
12 years 1 months ago
AVAL: An Enumerative Method for SAT
Gilles Audemard, Belaid Benhamou, Pierre Siegel
CL
2000
Springer
12 years 1 months ago
Applications of Annotated Predicate Calculus to Querying Inconsistent Databases
Abstract. We consider the problem of specifying and computing consistent answers to queries against databases that do not satisfy given integrity constraints. This is done by simul...
Marcelo Arenas, Leopoldo E. Bertossi, Michael Kife...
CL
2000
Springer
12 years 1 months ago
Promoting Constraints to First-Class Status
Abstract. This paper proposes to promote constraints to first-class status. In contrast to constraint propagation, which performs inference on values of variables, first-class co...
Tobias Müller
CL
2000
Springer
12 years 1 months ago
Partial Models of Extended Generalized Logic Programs
José Júlio Alferes, Heinrich Herre, ...
books