Switch to: Citations

Add references

You must login to add references.
  1. Towards a general theory of action and time.James F. Allen - 1984 - Artificial Intelligence 23 (2):123-154.
    Download  
     
    Export citation  
     
    Bookmark   78 citations  
  • Temporal constraint networks.Rina Dechter, Itay Meiri & Judea Pearl - 1991 - Artificial Intelligence 49 (1-3):61-95.
    Download  
     
    Export citation  
     
    Bookmark   52 citations  
  • Experimental results on the crossover point in random 3-SAT.James M. Crawford & Larry D. Auton - 1996 - Artificial Intelligence 81 (1-2):31-57.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Locating the phase transition in binary constraint satisfaction problems.Barbara M. Smith & Martin E. Dyer - 1996 - Artificial Intelligence 81 (1-2):155-181.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Efficient algorithms for qualitative reasoning about time.Alfonso Gerevini & Lenhart Schubert - 1995 - Artificial Intelligence 74 (2):207-248.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • A theoretical evaluation of selected backtracking algorithms.Grzegorz Kondrak & Peter van Beek - 1997 - Artificial Intelligence 89 (1-2):365-387.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Consistency in networks of relations.Alan K. Mackworth - 1977 - Artificial Intelligence 8 (1):99-118.
    Download  
     
    Export citation  
     
    Bookmark   108 citations  
  • Generating hard satisfiability problems.Bart Selman, David G. Mitchell & Hector J. Levesque - 1996 - Artificial Intelligence 81 (1-2):17-29.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • The satisfiability constraint gap.Ian P. Gent & Toby Walsh - 1996 - Artificial Intelligence 81 (1-2):59-80.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Network-based heuristics for constraint-satisfaction problems.Rina Dechter & Judea Pearl - 1987 - Artificial Intelligence 34 (1):1-38.
    Download  
     
    Export citation  
     
    Bookmark   55 citations  
  • Twenty-one large tractable subclasses of Allen's algebra.Thomas Drakengren & Peter Jonsson - 1997 - Artificial Intelligence 93 (1-2):297-319.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • From local to global consistency.Rina Dechter - 1992 - Artificial Intelligence 55 (1):87-107.
    Download  
     
    Export citation  
     
    Bookmark   13 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  
  • O-Plan: The open planning architecture.Ken Currie & Austin Tate - 1991 - Artificial Intelligence 52 (1):49-86.
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • Effective solution of qualitative interval constraint problems.Peter B. Ladkin & Alexander Reinefeld - 1992 - Artificial Intelligence 57 (1):105-124.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Combining qualitative and quantitative constraints in temporal reasoning.Itay Meiri - 1996 - Artificial Intelligence 87 (1-2):343-385.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • Backtracking techniques for the job shop scheduling constraint satisfaction problem.Norman Sadeh, Katia Sycara & Yalin Xiong - 1995 - Artificial Intelligence 76 (1-2):455-480.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Increasing tree search efficiency for constraint satisfaction problems.Robert M. Haralick & Gordon L. Elliott - 1980 - Artificial Intelligence 14 (3):263-313.
    Download  
     
    Export citation  
     
    Bookmark   40 citations  
  • Processing disjunctions in temporal constraint networks.Eddie Schwalb & Rina Dechter - 1997 - Artificial Intelligence 93 (1-2):29-61.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Reasoning about qualitative temporal information.Peter van Beek - 1992 - Artificial Intelligence 58 (1-3):297-326.
    Download  
     
    Export citation  
     
    Bookmark   20 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  
  • Experimental evaluation of preprocessing algorithms for constraint satisfaction problems.Rina Dechter & Itay Meiri - 1994 - Artificial Intelligence 68 (2):211-241.
    Download  
     
    Export citation  
     
    Bookmark   8 citations