EPIA
1993
Springer
14 years 4 months ago
1993
Springer
EPIA
1993
Springer
14 years 4 months ago
1993
Springer
We present some recent results from our research on methods for finding the minimal solutions to linear Diophantine equations over the naturals. We give an overview of a family of...
EPIA
1993
Springer
14 years 4 months ago
1993
Springer
A uniform framework is presented to describe the most typical strategies that are used to compute answers to Deductive Databases. The framework is based on the definition of a ge...
EPIA
1993
Springer
14 years 4 months ago
1993
Springer
Abstract. This work presents a constraint solver for the domain of rational trees. Since the problem is NP-hard the strategy used by the solver is to reduce as much as possible, in...