Author:
Malhotra Vishv Mohan,To Tang Van,Kanchanasut Kanchana
Subject
Computer Science Applications,Information Systems,Signal Processing,Theoretical Computer Science
Reference7 articles.
1. Deduction revision by intelligent backtracking;Bruynooghe,1984
2. Maximal unifiable subsets and minimal non-unifiable subsets;Chen;New Generation Computing,1986
3. Yet another intelligent backtracking method;Codognet,1988
4. Finding backtracking points for intelligent backtracking;Cox,1984
5. A data-dependency-based intelligent backtracking scheme for Prolog;Kumar;J. Logic Programming,1988