Disolver 3.0: the Distributed Constraint Solver version 3.0

Disolver 3.0: the Distributed Constraint Solver version 3.0 (2007)

Cached

Download Links

[www.research.microsoft.com]

by Youssef Hamadi

Citations:

1 - 0 self

BibTeX

@MISC{Hamadi07disolver3.0:,
    author = {Youssef Hamadi},
    title = {Disolver 3.0: the Distributed Constraint Solver version 3.0},
    year = {2007}
}

Bookmark

OpenURL

Abstract

Citations

929	Distributed snapshots: determining global states of distributed systems - Chandy, Lamport - 1985
293	New method to color the vertices of a graph - Brelaz - 1979
269	Boosting combinatorial search through randomization - Gomes, Selman, et al. - 1998
208	MPICH-G2: A Grid-enabled implementation of the message passing interface - Karonis, Toonen, et al.
88	L.: Boosting systematic search by weighting constraints - Boussemart, Hemery, et al.
75	combined heuristics: Two reasons to forsake FC (and CBJ ?) on hard problems - MAC - 1996
74	Backtracking in distributed constraint networks - Hamadi, Bessière - 1998
54	An optimal coarse-grained arc consistency algorithm - Bessière, Régin, et al. - 2005
45	On the Efficiency of Parallel Backtracking - Rao, Kumar - 1992
41	Algorithm portfolio design: Theory vs. practice - Gomes, Selman - 1997
37	Constraint Satisfaction in Logic Programming - Hentenryck - 1989
32	Optimal and suboptimal singleton arc consistency algorithms - Bessière, Debruyne - 2005
29	A fast and simple algorithm for bounds consistency of the alldifferent constraint - Lopez-Ortiz, Quimper, et al.
23	L.: Propositional Satisfiability and Constraint Programming: A Comparative Survey - Bordeaux, Hamadi, et al. - 2006
21	Better than the best: The power of cooperation - Hogg, Huberman - 1993
17	QCSP made practical by virtue of restricted quantification - Benedetti, Lallouet, et al. - 2007
10	Branch-and-bound and parallel computation: A historical note - Pruul, Nemhauser - 1988
7	Arc consistency for general constraint networks: Preliminary results - Bessire, Régin - 1997
6	Cycle-cut decomposition and log-based reconciliation’, in ICAPS, W. Connecting Planning Theory with Practice - Hamadi - 2004
1	Shearer’s main golomb - Shearer