Search results for "constrainedness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
112	Miguel A. Salido, Federico Barber	Constrainedness and Redundancy by Constraint Ordering.	IBERAMIA	2004	DBLP DOI BibTeX RDF	constrainedness, heuristics, Constraint Satisfaction Problems
55	Miguel A. Salido, Federico Barber	Exploiting the Constrainedness in Constraint Satisfaction Problems.	AIMSA	2004	DBLP DOI BibTeX RDF	complexity, heuristic search, Constraint Satisfaction Problems
33	Guillaume Escamocher, Barry O'Sullivan, Steven David Prestwich	Generating Difficult CNF Instances in Unexplored Constrainedness Regions.	ACM J. Exp. Algorithmics	2020	DBLP DOI BibTeX RDF
33	Guillaume Escamocher, Barry O'Sullivan	Constrainedness in Stable Matching.	ICTAI	2018	DBLP DOI BibTeX RDF
33	Lam-Son Lê, Hong Linh Truong 0001, Aditya Ghose, Schahram Dustdar	On Elasticity and Constrainedness of Business Services Provisioning.	IEEE SCC	2012	DBLP DOI BibTeX RDF
33	Carla P. Gomes, Cèsar Fernández, Bart Selman, Christian Bessière	Statistical Regimes Across Constrainedness Regions.	Constraints An Int. J.	2005	DBLP DOI BibTeX RDF	runtime distributions, typical case analysis, phase transitions, heavy-tailed distributions, backtrack search
33	Lucian Leahu, Carla P. Gomes	LP as a Global Search Heuristic Across Different Constrainedness Regions.	CP	2005	DBLP DOI BibTeX RDF
33	Carla P. Gomes, Cèsar Fernández, Bart Selman, Christian Bessiere	Statistical Regimes Across Constrainedness Regions.	CP	2004	DBLP DOI BibTeX RDF
33	Toby Walsh	The Constrainedness Knife-Edge.	AAAI/IAAI	1998	DBLP BibTeX RDF
33	Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh	The Constrainedness of Arc Consistency.	CP	1997	DBLP DOI BibTeX RDF
33	Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh	The Constrainedness of Search.	AAAI/IAAI, Vol. 1	1996	DBLP BibTeX RDF
21	Dominique Michelucci, Pascal Schreck, Simon E. B. Thierry, Christoph Fünfzig, Jean-David Génevaux	Using the witness method to detect rigid subsystems of geometric constraints in CAD.	Symposium on Solid and Physical Modeling	2010	DBLP DOI BibTeX RDF	W-decomposition, rigidity theory, witness configuration, geometric constraints solving, Jacobian matrix
21	Andrew M. Sutton, L. Darrell Whitley, Adele E. Howe	A polynomial time computation of the exact correlation structure of k-satisfiability landscapes.	GECCO	2009	DBLP DOI BibTeX RDF	combinatorial optimization, fitness landscapes
21	Carla P. Gomes, Willem Jan van Hoeve, Lucian Leahu	The Power of Semidefinite Programming Relaxations for MAX-SAT.	CPAIOR	2006	DBLP DOI BibTeX RDF
21	Honglei Zeng, Sheila A. McIlraith	The Role of Redundant Clauses in Solving Satisfiability Problems.	CP	2005	DBLP DOI BibTeX RDF
21	Cédric Pralet, Gérard Verfaillie	Travelling in the World of Local Searches in the Space of Partial Assignments.	CPAIOR	2004	DBLP DOI BibTeX RDF
21	Lucian Leahu, Carla P. Gomes	Quality of LP-Based Approximations for Highly Combinatorial Problems.	CP	2004	DBLP DOI BibTeX RDF	hybrid LP/CSP, approximations, phase transition, search heuristics
21	Zhao Xing, Weixiong Zhang	Efficient Strategies for (Weighted) Maximum Satisfiability.	CP	2004	DBLP DOI BibTeX RDF
21	George Boukeas, Constantinos Halatsis, Vassilis Zissimopoulos, Panagiotis Stamatopoulos	Measures of Intrinsic Hardness for Constraint Satisfaction Problem Instances.	SOFSEM	2004	DBLP DOI BibTeX RDF
21	George Boukeas, Panagiotis Stamatopoulos, Constantinos Halatsis, Vassilis Zissimopoulos	Inherent Choice in the Search Space of Constraint Satisfaction Problem Instances.	SETN	2004	DBLP DOI BibTeX RDF	search, constraint satisfaction, mathematical foundations
21	Stefano Bistarelli, Jerome Kelleher, Barry O'Sullivan	Tradeoff Generation Using Soft Constraints.	CSCLP	2003	DBLP DOI BibTeX RDF
21	Phokion G. Kolaitis, Thomas Raffill	In Search of a Phase Transition in the AC-Matching Problem.	CP	2001	DBLP DOI BibTeX RDF
21	Alessandro Armando, Felice Peccia, Silvio Ranise	The Phase Transition of the Linear Inequalities Problem.	CP	2001	DBLP DOI BibTeX RDF