The Constrainedness of Search (1999)


Download Links

by Ian P. Gent , Patrick Prosser , Toby Walsh
Venue:In Proceedings of AAAI-96
Citations:116 - 26 self

Active Bibliography

14 How Not To Do It – Ian P. Gent, Stuart A. Grant, Ewen MacIntyre, Patrick Prosser, Paul Shaw, Barbara M. Smith, Toby Walsh - 1997
77 Random Constraint Satisfaction: A More Accurate Picture – Dimitris Achlioptas, Lefteris M. Kirousis, Evangelos Kranakis, Danny Krizanc, Michael S. O. Molloy, Y. Stamatiou - 1997
24 The scaling window of the 2-sat transition – Béla Bollobás, Christian Borgs, Jennifer T. Chayes, Jeong Han Kim, David B. Wilson - 1999
14 The search for Satisfaction – Ian P. Gent, Toby Walsh - 1999
27 Scaling Effects in the CSP Phase Transition – Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh - 1995
47 Intelligent Backtracking On Constraint Satisfaction Problems: Experimental And Theoretical Results – Andrew B. Baker - 1995
72 The Probabilistic Analysis of a Greedy Satisfiability Algorithm – Alexis C. Kaporis, Lefteris M. Kirousis, Efthimios G. Lalas - 2002
2 On the Average Similarity Degree between Solutions of Random k-SAT and Random CSPs – Ke Xu, Wei Li, Ke Xu#and#wei Li
24 Random k-SAT: two moments suffice to cross a sharp threshold – Dimitris Achlioptas, Cristopher Moore - 2006
15 A New Look at the Easy-Hard-Easy Pattern of Combinatorial Search Difficulty – Dorothy L. Mammen, Tad Hogg - 1997
24 The Phase Transition Behaviour of Maintaining Arc Consistency – Stuart A. Grant, Barbara M. Smith - 1995
8 Intelligent Backtracking on the Hardest Constraint Problems – Andrew B. Baker - 1995
1 The Satisfiability Threshold Conjecture: Techniques Behind Upper Bound Improvements – Lefteris M. Kirousis, Yannis C. Stamatiou, Michele Zito, Lefteris M. Kirousis, Yannis C. Stamatiou, Michele Zito - 2004
4 Randomness and Structure – Carla Gomes, Toby Walsh
127 Algorithms for the Satisfiability (SAT) Problem: A Survey – Jun Gu, Paul W. Purdom, John Franco, Benjamin W. Wah - 1996
21 Quantum Computing and Phase Transitions in Combinatorial Search – Tad Hogg - 1996
Chapter 2 Satisfiability Solvers – Edited F. Van Harmelen, V. Lifschitz, B. Porter, Carla P. Gomes, Henry Kautz, Ashish Sabharwal, Bart Selman
5 Incomplete Algorithms – Henry Kautz, Ashish Sabharwal, Bart Selman - 2008
8 Exploiting problem structure as a search heuristic – Tad Hogg - 1995