Please use this identifier to cite or link to this item: http://hdl.handle.net/1880/46513
Title: A LOW-COST HIGH ACCURACY INTELLIGENT BACKTRACKING ALGORITHM
Authors: Dewar, Alan D.
Cleary, John G.
Keywords: Computer Science
Issue Date: 1-Mar-1990
Abstract: We present an intelligent backtracking algorithm with high accuracy and low overhead, especially for certain classes of algorithms. Information is associated with each variable binding and with each proof-tree node. Performance results indicate that our approach can attain a similar accuracy, but at a lower cost, when compared with other similar intelligent backtracking approaches.
URI: http://hdl.handle.net/1880/46513
Appears in Collections:Technical Reports

Files in This Item:
File Description SizeFormat 
1990-381-05.pdf1.43 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.