Consistency Techniques in Constraint Networks

Consistency Techniques in Constraint Networks (2003)

Cached

Download Links

[www.cs.ttu.edu]

Other Repositories/Bibliography

DBLP

by Yuanlin Zhang

BibTeX

@MISC{Zhang03consistencytechniques,
    author = {Yuanlin Zhang},
    title = {Consistency Techniques in Constraint Networks},
    year = {2003}
}

Bookmark

OpenURL

Abstract

Citations

918	Consistency in networks of relations - Mackworth - 1977
863	Integer and combinatorial optimization - Wolsey, Nemhauser - 1999
837	Temporal constraint networks - Dechter, Meiri, et al. - 1991
710	EF: A relational model of data for large shared data banks - Codd - 1998
693	Interval analysis - Moore - 1966
638	Linear Programming and Extensions - Dantzig - 1963
375	Networks of constraints: Fundamental properties and applications to picture processing - Montanari - 1974
364	Constraint satisfaction in logic programming - Hentenryck - 1989
360	Network-based heuristics for constraint satisfaction problems - Dechter, Pearl - 1987
331	The complexity of satisfiability problems - Schaefer - 1978
308	Understanding line drawings of scenes with shadows - WALTZ - 1975
250	Enhancement schemes for constraint processing: Backjumping, learning and cutset decomposition - Dechter - 1990
247	The complexity of some polynomial network consistency algorithms for constraint satisfaction problems - Mackworth, Freuder - 1985
246	Database Management Systems - Ramakrishnan, Gehrke - 2003
244	Constraint satisfaction - Mackworth - 1987
230	Tree clustering for constraint networks - Dechter, Pearl - 1989
229	Bucket elimination: a unifying framework for reasoning - Dechter - 1999
228	Synthesizing constraint expressions - Freuder - 1978
217	Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis - Stallman, Sussman - 1977
192	Arc and path consistency revisited - Mohr, Henderson - 1986
188	Constraint propagation with interval labels - Davis - 1987
176	A generic arc-consistency algorithm and its specializations - Hentenryck, Deville, et al. - 1992
158	Consistency techniques for numeric CSPs - Lhomme - 1993
157	Performance Measurement and Analysis of Certain Search Algorithms - Gaschnig - 1979
147	Applying interval arithmetic to real, integer and Boolean constraints - Benhamou, Older - 1997
137	A sufficient condition for backtrack-bounded search - Freuder - 1985
135	D.: Compiling constraints in clp(fd - Codognet, Diaz - 1996
134	Generalized arc consistency for global cardinality constraint - Régin - 1996
129	Analysis of Constraint Logic Programs - Marriott, Sondergaard - 1990
121	Arc-consistency and arcconsistency again - Bessiere - 1994
120	Generating semantic descriptions from drawings of scenes with shadows - Waltz - 1975
118	Computers and Intractability: A Guide to NP-Completeness - Garey, Johnson - 1979
115	Arc consistency for general constraint networks: preliminary results - Bessière, Régin - 1997
107	Closure properties of constraints - Jeavons, Cohen, et al. - 1997
104	CLP(intervals) revisited - Benhamou, Older, et al. - 1994
102	From local to global consistency - Dechter - 1992
92	Good old discrete relaxation - Mohr, Masini - 1988
89	Constraint Reasoning Based on Interval Arithmetic: The Tolerance Propagation Approach - Hyvonen - 1992
80	On the equivalence of constraint satisfaction problems - Rossi, Petrie, et al. - 1990
78	On the conversion between non-binary and binary constraint satisfaction problems - Bacchus, Beek - 1998
75	combined heuristics: Two reasons to forsake FC (and CBJ ?) on hard problems - MAC - 1996
74	Refining the basic constraint propagation algorithm - Bessière, Régin - 2001
74	Backtrack programming - Golomb, Baumert - 1965
74	A language and a program for stating and for solving combinatorial problems - Laurière - 1978
70	On the complexity of integer programming - Papadimitriou - 1981
67	Experimental case studies of backtrack vs. waltz-type vs. new algorithms for satisfying assignment problems - Gaschnig - 1978
66	Constraint arithmetic on real intervals - Older, Vellino - 1993
54	On reading sketch maps - Mackworth
53	A su cient condition for backtrack-free search - Freuder - 1982
51	Characterizing tractable constraints - Cooper, Cohen, et al. - 1994