J. Jaffar, M. Maher, P. Stuckey, and R. Yap. Beyond finite domains. In PPCP'94: Second Workshop on Principles and Practice of Constraint Programming, 1994. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
NP(FD): A Proof System for Finite Domain Formulas - Carlson, Carlsson, Stålmarck (1997) (Correct)
NP(FD): A Proof System for Finite Domain Formulas - Carlson, Carlsson, Stålmarck (1997) (Correct)
Tractable Query Answering in Indefinite Constraint Databases.. - Koubarakis (1999) (4 citations) (Correct)
Querying Indefinite Temporal and Spatial Information: A.. - Koubarakis, Skiadopoulos (Correct)
Querying Temporal Constraint Networks in PTIME - Koubarakis, al. (1999) (Correct)
Using continued fractions to compute 2-D integer hulls - Harvey (Correct)
Solving Difference Constraints Incrementally - Ramalingam, Song, Joscovicz.. (1995) (1 citation) (Correct)
An Approach To Scheduling Aircraft Landing Times Using Genetic.. - Stevens (1995) (1 citation) (Correct)
Complete Solving of Linear Diophantine Equations and.. - Ajili, Contejean (1995) (5 citations) (Correct)
O-Trees: a Constraint-based Index Structure - Sitzmann, Stuckey Self-citation (Stuckey) (Correct)
Constraint Search Trees - Peter Stuckey Department (1997) (1 citation) Self-citation (Stuckey) (Correct)
A Unit Two Variable Per Inequality Integer Constraint Solver.. - Harvey, Stuckey (1997) (3 citations) Self-citation (Stuckey) (Correct)
A Unit Two Variable Per Inequality Integer Constraint Solver.. - Harvey, Stuckey (1995) (3 citations) Self-citation (Stuckey) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC