Switch to: Citations

Add references

You must login to add references.
  1. Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis.Richard M. Stallman & Gerald J. Sussman - 1977 - Artificial Intelligence 9 (2):135-196.
    Download  
     
    Export citation  
     
    Bookmark   47 citations  
  • Phase transitions in artificial intelligence systems.Bernardo A. Huberman & Tad Hogg - 1987 - Artificial Intelligence 33 (2):155-171.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Enhancement schemes for constraint processing: Backjumping, learning, and cutset decomposition.Rina Dechter - 1990 - Artificial Intelligence 41 (3):273-312.
    Download  
     
    Export citation  
     
    Bookmark   36 citations  
  • Minimizing conflicts: a heuristic repair method for constraint satisfaction and scheduling problems.Steven Minton, Mark D. Johnston, Andrew B. Philips & Philip Laird - 1992 - Artificial Intelligence 58 (1-3):161-205.
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • The hardest constraint problems: A double phase transition.Tad Hogg & Colin P. Williams - 1994 - Artificial Intelligence 69 (1-2):359-377.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Easy problems are sometimes hard.Ian P. Gent & Toby Walsh - 1994 - Artificial Intelligence 70 (1-2):335-345.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Exploiting the deep structure of constraint problems.Colin P. Williams & Tad Hogg - 1994 - Artificial Intelligence 70 (1-2):73-117.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • An empirical study of phase transitions in binary constraint satisfaction problems.Patrick Prosser - 1996 - Artificial Intelligence 81 (1-2):81-109.
    Download  
     
    Export citation  
     
    Bookmark   13 citations