Alice(ID:3553/ali002)


Early system for CSPs modeling and solving

J.L. Lauriere



References:
  • Lauriere, J-L. Un langage et un programme pour énoncer et résoudre des problèmes combinatoires. Thèse de doctorat d'état présentée à l'Université Paris 6. 21-5-1976. view details
  • Lauriere, J.L. ALICE: A Language and a Program for Solving Combinatorial Problems, in Artificial Intelligence, 10:29-127, 1978 view details