P. Cheeseman, B. Kanefsky, and W. M. Taylor. Where the really hard problems are. Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-91), pages 331--337, 1991. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Martin Pelikan, Kumara Sastry, Martin V. Butz, and David E.. - Medal Report No (Correct)
RRT-blossom: RRT with a local flood-fill behavior - Maciej Kalisiak Dept (2006) (Correct)
An Experimental Study on the Complexity of Left-Deep.. - König-Ries, Helmer.. (1995) (Correct)
Comparing Three Approaches to Large-Scale Coordination - Scerri, Vincent, Mailler (2004) (1 citation) (Correct)
Linking Search Space Structure, Run-Time Dynamics, and.. - Watson, Whitley, Howe (2004) (Correct)
Hiding Satisfying Assignments: Two are Better than One - Achlioptas, Jia, Moore (Correct)
The Threshold for Random k-SAT is 2^k log 2 - O(k) - Achlioptas, Peres (2004) (Correct)
Experiments with Local Search on Random 2+p-SAT - Singer, Gent, Smaill (2000) (Correct)
Phase Transitions and Stochastic Local Search in k-Term.. - Rückert, Kramer, De Raedt (Correct)
A SAT-Based Decision Procedure for ALC - Giunchiglia, Sebastiani (1996) (30 citations) (Correct)
Backbones in Optimization and Approximation - John Slaney Automated (2001) (11 citations) (Correct)
Ordinal Constraint Satisfaction - Eugene Freuder Richard (Correct)
Towards Automated Reformulation of Specifications - Mancini (Correct)
On the Complexity of Distributed Self-Configuration in.. - Krishnamachari, Al. (2003) (2 citations) (Correct)
Representation and Reasoning with Non-Binary Constraints - Stergiou (2001) (Correct)
A Shot in the Dark - Owen (2003) (Correct)
Dynamic Detection and Exploitation of Value Symmetries for.. - Lal, Choueiry (Correct)
Forward Checking with Backmarking - June Patrick Prosser (1995) (13 citations) (Correct)
An Empirical Study of the Stable Marriage Problem with - Ties And Incomplete (2002) (Correct)
Annals of Mathematics and Artificial Intelligence 28.. - Compute-Intensive.. (Correct)
Understanding Random SAT: Beyond the.. - Nudelman, Devkar.. (Correct)
Probabilistic Methods in Landscape Analysis: Phase.. - Gao, Culberson (Correct)
Tuomas W. Sandholm and Victor R. Lesser - Computer Science Department (1994) (Correct)
Learning the Empirical Hardness of Optimization.. - Leyton-Brown.. (2002) (2 citations) (Correct)
An Empirical Study of the Stable Marriage Problem with Ties.. - Gent, Prosser (2002) (1 citation) (Correct)
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC