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

2 CBack: A Simple Tool for Backtrack Programming in C – Keld Helsgaun - 1995
161 Improvements To Propositional Satisfiability Search Algorithms – Jon William Freeman - 1995
10 A Logic Language for Combinatorial Optimization – Pascal Van Hentenryck - 1989
5 Control Structure for Programming Languages – David A. Fisher - 1970
Consistency Techniques in Constraint Networks – Yuanlin Zhang - 2003
2 A procedure mechanism for backtrack programming – David R. Hanson - 1976
4 Constraint-Based Updates in a Functional Data Model Database – Suzanne M. Embury - 1994
32 Dancing Links – Donald E. Knuth
CENTER – Ira Pohl - 1969
15 A Computational Model of Expectation-Driven Mixed-Initiative Dialog Processing – Ronnie W. Smith - 1992
1 The Evolution of Lisp – Guy L. Steele, Richard P. Gabriel
ISBN 0131653164 – Christopher M. Brown, Ballard Dana Harry, I. Image, I. Brown, Christopher M, Cover Design Robin Breite
Approved by theban ' _ ( _ _, _..__ – Presented Ruven, E. Brooks
48 The Evolution of Lisp – Guy L. Steele, Jr., Richard P. Gabriel - 1993
2 DecisionQoS: an adaptive, self-evolving QoS arbitration module for storage systems – Sandeep Uttamchandani, Guillermo A. Alvarez, Gul Agha, Eep Uttamch
AFL-1: A Programming Language for . . . – Guy Blelloch - 1986
1 Schedulability and Compatibility of Real Time Asynchronous Objects – Mohammad Mahdi Jaghoori, Delphine Longuet, Frank S. De Boer
INFORMATION PROCESSING 74- NORTH-HOLLAND P~BLISHING COMPANY (1974).ARTIFICIAL INTELLIGENCE – Nils J. Nilson
4 Efficient symmetry reduction for an actor-based model – M. M. Jaghoori, M. Sirjani, M. R. Mousavi, A. Movaghar - 2005