Switch to: Citations

Add references

You must login to add references.
  1. A language and a program for stating and solving combinatorial problems.Jena-Lonis Lauriere - 1978 - Artificial Intelligence 10 (1):29-127.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • REF-ARF: A system for solving problems stated as procedures.Richard E. Fikes - 1970 - Artificial Intelligence 1 (1-2):27-120.
    Download  
     
    Export citation  
     
    Bookmark   14 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  
  • Consistency in networks of relations.Alan K. Mackworth - 1977 - Artificial Intelligence 8 (1):99-118.
    Download  
     
    Export citation  
     
    Bookmark   109 citations