M.R.C. van Dongen  Home/Search
Context
Related
| cs.ucc.ie/~dongen/papers...thesis.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.ucc.ie/~dongen/papers...papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The idea to program with constraints for special purposes has been around since the 1960-s. This has resulted in the notion of... (Update)
Similar documents (at the sentence level):
11.5%: Constraints, Varieties, and Algorithms - van Dongen (2002) (Correct)
7.2%: A Theoretical Analysis of Domain-Heuristics for Arc-Consistency .. - van Dongen (2000) (Correct)
Active bibliography (related documents): More All
0.4: Technical Annex for the ACCLAIM Project (PE7195) - Haridi (1992) (Correct)
0.4: Real Quantifier Elimination in Practice - Dolzmann, Sturm, Weispfenning (1998) (Correct)
0.4: Lightweight MAC Algorithms - van Dongen (2003) (Correct)
Similar documents based on text: More All
0.6: Lightweight Arc-Consistency Algorithms - van Dongen (2003) (Correct)
0.3: Domain-Heuristics for Arc-Consistency Algorithms - van Dongen (2003) (Correct)
0.3: AC-3_d an Efficient Arc-Consistency Algorithm with a Low.. - van Dongen (2002) (Correct)
BibTeX entry: (Update)
@phdthesis{ dongen-constraints,
author = "M.R.C. van Dongen",
title = "Constraints, Varieties, and Algorithms",
url = "citeseer.ist.psu.edu/vandongen02constraints.html" }
Citations (may not include all citations):717 Theory of Linear and Integer Programming (context) - Schrijver - 1996
702 Consistency in networks of relations (context) - Mackworth - 1977
561 Constraint logic programming (context) - Jaffar, Lassez - 1986
561 Constraint logic programming (context) - Jaffar, Lassez - 1987
473 Foundations of Constraint Satisfaction (context) - Tsang - 1993
384 Simple word problems in universal algebras (context) - Knuth, Bendix - 1970
373 Constraint logic programming: A survey - Jaffar, Maher - 1994
307 Networks of constraints: Fundamental properties and applicat.. (context) - Montanari - 1974
276 Linear Programming and Extensions (context) - Dantzig - 1963
267 Network-based heuristics for constraintsatisfaction problems (context) - Dechter, Pearl - 1988
265 Increasing tree search efficiency for constraint satisfactio.. (context) - Haralick, Elliott - 1980
261 An introduction to Prolog III (context) - Colmerauer - 1990
261 Introduction to Prolog III (context) - Colmerauer - 1987
211 Hybrid algorithms for the constraint satisfaction problem (context) - Prosser - 1993
211 Enhancement schemes for constraint processing: Backjumping (context) - Dechter - 1990
189 Arc and path consistency revisited (context) - Mohr, Henderson - 1986
185 A sufficient condition for backtrack-free search (context) - Freuder - 1982
185 The complexity of some polynomial network consistency algori.. (context) - Mackworth, Freuder - 1985
166 Synthesizing constraint expressions (context) - Freuder - 1978
130 From Logic Programming to Prolog (context) - Apt - 1997
127 PROLOG Programming for Artificial Intelligence (context) - Bratko - 1986
127 Constraint satisfaction algorithms (context) - Nadel - 1989
119 Contradicting conventional wisdom in constraint satisfaction - Sabin, Freuder - 1994
110 the computational complexity and geometry of the firstorder .. (context) - Renegar - 1992
110 the computational complexity and geometry of the first-order.. (context) - Renegar - 1992
110 the computational complexity and geometry of the first-order.. (context) - Renegar - 1992
104 and Algorithms An Introduction to Computational Algebraic Ge.. (context) - Cox, Little et al. - 1996
97 Using Algebraic Geometry (context) - Cox, Little et al. - 1997
94 Equations and inequations on finite and infinite trees (context) - Colmerauer - 1984
87 A theoretical evaluation of selected backtracking methods - Kondrak, van Beek - 1997
87 A theoretical evaluation of selected backtracking algorithms - Kondrak, van Beek - 1995
86 van Hentenryck (context) - Benhamou, McAllister - 1994
80 From local to global consistency - Dechter - 1990
76 Partial cylindrical algebraic decomposition for quantifier e.. (context) - Collins, Hong - 1991
66 A sufficient condition for backtrack-bounded search (context) - Freuder - 1985
60 GSAT and dynamic backtracking - Ginsberg, McAllester - 1994
51 Theoretical Computer Science (context) - Dechter, van Beek et al. - 1997
50 Algorithmic Algebra (context) - Mishra - 1993
48 Essentials of Artificial Intelligence (context) - Ginsberg - 1993
46 Experimental evaluation of preprocessing techniques in const.. (context) - Dechter, Meiri - 1989
45 Backtrack programming (context) - Golomb, Baumert - 1965
45 Experimental case studies of backtrack vs (context) - Gaschnig - 1978
42 Journal of Symbolic Computation (context) - Siekmann - 1989
35 Interval constraint logic programming (context) - Benhamou - 1995
30 American Mathematical Society (context) - Adams, Loustaunau et al. - 1994
30 Programming and PROLOG (context) - Nilsson, Maluszynski - 1989
29 Using inference to reduce arc consistency computation (context) - Bessire, Freuder et al. - 1995
29 Why AC-3 is almost always better than AC-4 for establishing .. (context) - Wallace - 1993
28 Programming in CLP (context) - Older, Benhamou - 1993
27 Some examples for solving systems of algebraic equations by .. (context) - Boege, Gebauer et al. - 1986
26 Ordering heuristics for arc consistency algorithms - Wallace, Freuder - 1992
23 A new approach for automatic theorem proving in real geometr.. - Dolzmann, Sturm et al. - 1996
21 Tree-clustering schemes for constraintprocessing (context) - Dechter, Pearl - 1988
20 Simplification and elimination of redundant linear arithmeti.. (context) - Lassez, McAloon et al. - 1989
20 Backtracking algorithms for constraint satisfaction problems - Dechter, Frost - 1999
18 Parametric linear and quadratic optimization by elimination - Weispfenning - 1994
18 Programming with Constraints (context) - Marriot, Stuckey - 1998
18 The complexity of constraint satisfaction revisited - Mackworth, Freuder - 1993
17 Understanding and improving the MAC algorithm - Sabin, Freuder - 1997
17 Using constraint metaknowledge to reduce arc consistency com.. (context) - Bessire, Freuder et al. - 1999
16 one sugar cube, please (context) - Giovini, Mora et al. - 1991
15 A new approach to quantifier elimination for real algebra (context) - Weispfenning - 1993
13 Computational geometry problems in redlog - Sturm, Weispfenning - 1996
13 Simplification of quantifier-free formulae over ordered fiel.. (context) - Dolzmann, Sturm - 1997
12 Simulation and optimization by quantifier elimination - Weispfenning - 1997
12 Removing redundancies in constraint networks (context) - Dechter, Dechter - 1987
11 Non-linear constraints solving over real numbers in constrai.. (context) - Hong - 1992
11 Simplification of quantifier-free formulas over ordered fiel.. - Dolzmann, Sturm - 1995
9 Applying quantifier elimination to problems in simulation an.. (context) - Weispfenning - 1996
9 From unification to constraints (context) - Jaffar, Lassez - 1987
8 On mechanical quantifier elimination for elementary algebra .. (context) - Arnon, Mignotte - 1988
7 Using pivot consistency to decompose and solve functional cs.. - David - 1995
7 A tutorial on constraint programming - Smith - 1995
7 Comparison of several decision algorithm for the existention.. - Hong - 1991
7 Exploiting structure in constraint satisfaction problems - Freuder - 1993
6 the application of Buchberger's algorithm to automated geome.. (context) - Kutzler, Stifter - 1986
6 History and basic feature critical paircompletion procedure (context) - History, of et al. - 1987
6 Constraint logic programming system: CAL (context) - Aiba, Hasegawa - 1992
6 Grbner bases: An algorithmic method in polynomial ideal theo.. (context) - Buchberger - 1985
5 Fundamental properties of networks of constraints: A new for.. (context) - Montanari, Rossi - 1988
5 Constraint satisfaction --- algorithms and complexity analys.. - Hower - 1995
5 Local and global relational consistency---summary of recent .. (context) - Dechter, van Beek - 1995
5 symbolic rewriting and interval methods (context) - Benhamou, Granvilliers et al. - 1996
5 Constraint networks; A survey (context) - Dechter - 1992
5 Solving polynomial equation systems by Groebner methods (context) - Melenk - 1990
4 Modifying the simplex algorithm to a constraint solver (context) - Jaakola - 1990
4 Solving algebraic equations: Combining Buchberger's algorith.. (context) - Czapor - 1989
4 The average case analysis of algorithms: Mellin transform as.. (context) - Flajolet, Sedgewick - 1996
3 Using Groebner bases to reason about geometry problems (context) - Kapur - 1986
3 CAL: A theoretical background of CLP and its applications (context) - Sakai, Aiba - 1989
3 Application of ideal theory to boolean constraint solving (context) - Sakai, Sato - 1990
3 A generic arc-consistency algorithm and its specializations (context) - Van Hentenryck, Deville et al. - 1992
2 Algebraic soltion of nonlinear equation systems in REDUCE (context) - Melenk - 1993
2 Backtracking without trailing in CLPR (context) - Van Hentenryck, Ramachandran - 1994
2 Fakultt fr Mathematik und Informatik (context) - Dolzmann, Sturm et al. - 1997
2 Free logic in constraint processing (context) - Bowen, Bahler - 1991
2 Grbner Bases A Computational Approach to Commutative Algebra (context) - Becker, Weispfenning - 1993
2 Speeding-up quantifier elimination by Grbner bases (context) - Buchberger, Hong - 1991
2 Projecting CLPR constraints (context) - Jaffar, Maher et al. - 1993
2 On factorized Grbner bases (context) - Grbe - 1994
2 Oxford University Press (context) - Baader, Siekmann et al. - 1993
2 The CLPR programmer's manual version - Heintze, Jaffar et al. - 1992
2 a constraint logig programming system with parametric domain (context) - Hong, Ratschan et al. - 1995
2 Bibliography on algorithms in real algebra geometry (context) - Arnon - 1988
2 Factorizing Grbner bases (context) - Pesch - 1996
2 The complexity of backtracking and forward checking: Search-.. (context) - Nadel - 1987
2 The Grbner fan of an ideal (context) - Mora, Robbiano - 1988
2 Constraint Programming Grundlagen und Anwendungen (context) - Frwirth, Abdonnaher - 1997
2 Survey on nonlinear optimization - Hong, asaru - 1996
Documents on the same site (http://www.cs.ucc.ie/~dongen/papers/papers.html): More
Improving Arc-Consistency Algorithms with Double-Support Checks - van Dongen, Bowen (2000) (Correct)
Interfacing a Constraint Programming Language with .. - van Dongen.. (Correct)
Interfacing a Constraint Programming Language with .. - van Dongen.. (1997) (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