Singleton Consistencies

Singleton Consistencies (2000)

by Patrick Prosser , Kostas Stergiou , Toby Walsh

Citations:

49 - 9 self

1368	Collective dynamics of ‘small-world’ networks. Nature - Watts, Strogatz - 1998
692	A machine program for theoremproving.. - Davis, Logemann, et al. - 1962
194	Performance measurement and analysis of certain search algorithms, - Gaschnig - 1979
175	A sufficient condition for backtrack-bounded search. - Freuder - 1985
135	Arcconsistency for general constraint networks: Preliminary results - Bessiere, Ch - 1997
132	Heuristics based on unit propagation for satisfiability problems. - Li, Anbulagan - 1997
119	Search in a Small World,” - Walsh - 1999
111	Good old discrete relaxation. - Mohr, Masini - 1988
44	C.: Neighborhood inverse consistency preprocessing - Freuder, Elfe - 1996
36	Using auxiliary variables and implied constraints to model non-binary problems - Smith, Stergiou, et al. - 2000
33	On the expressiveness of networks with hidden variables - Dechter
33	A algorithm for constraints of dierence in CSPs - Regin - 1994
19	Soft Arc Consistency - Schiex
7	Some practicable techniques for the constraint satisfaction problem - Debruyne, Bessiere - 1997
6	The dierence all-dierence makes - Stergiou, Walsh - 1999
5	based on unit propagation for satis problems - Heuristics - 1997
1	366 368 Patrick Prosser et - Freuder, Elfe - 1962