Session 25 Hardware and Software for Artificial Intelligence BACKTRACKING IN MLISP2 An Efficient Backtracking Method tor LISP

Cached

Download Links

by David Canfield Smith , Horace J. Enes

Active Bibliography

426 Partial Constraint Satisfaction – Eugene C. Freuder, Richard J. Wallace - 1992
353 Hybrid Algorithms for the Constraint Satisfaction Problem – Patrick Prosser - 1993
161 Improvements To Propositional Satisfiability Search Algorithms – Jon William Freeman - 1995
227 Efficient planarity testing – John Hopcroft, Robert, Tar Jan - 1974
216 List Processing in Real Time on a Serial Computer – Henry G. Baker - 1977
205 Contradicting Conventional Wisdom in Constraint Satisfaction – Daniel Sabin, Eugene C. Freuder - 1994
2 CBack: A Simple Tool for Backtrack Programming in C – Keld Helsgaun - 1995
176 Performance Measurement and Analysis of Certain Search Algorithms – John Gaschnig - 1979
150 Supporting Dynamic Data Structures on Distributed-Memory Machines – Anne Rogers, Martin C. Carlisle, John H. Reppy, Laurie J. Hendren - 1995