Configuration as Composite Constraint Satisfaction

First Page		Document Content
Date: 2006-01-11 03:10:36 Computing Constraint satisfaction problem Constraint satisfaction Local consistency Constraint graph Mathematical optimization Search algorithm Constraint Decomposition method Constraint programming Software engineering Computer programming		Configuration as Composite Constraint Satisfaction Add to Reading List Source URL: aaai.org Download Document from Source Website File Size: 881,39 KB Share Document on Facebook

	Speeding Up the Constraint-Based Method in Difference Logic ⋆ Lorenzo Candeago1, Daniel Larraz2, Albert Oliveras2, Enric Rodr´ıguez-Carbonell2, and Albert Rubio2 2 DocID: 1xVBD - View Document
	Networks of Mobility and Constraint: The Economic Integration of New Immigrants to Canada by Maria M. Majerski DocID: 1xVqX - View Document
	Visualizing SMT-Based Parallel Constraint Solving Jelena Budakovic, Matteo Marescotti, Antti E. J. Hyv¨arinen, and Natasha Sharygina Universit` a della Svizzera italiana, Switzerland Abstract DocID: 1xVlC - View Document
	in Knowledge Engineering Reviews, 2001 Synthesis of EÆcient Constraint Satisfaction Programs Stephen J. Westfold and Douglas R. Smith Kestrel Institute 3260 Hillview Avenue DocID: 1xVgq - View Document
	Toward the Synthesis of Constraint Solvers Douglas R. Smith Stephen J. Westfold Kestrel Institute Palo Alto, CA 94304 DocID: 1xUMk - View Document