Please use this identifier to cite or link to this item:
|Title:||A LOW-COST HIGH ACCURACY INTELLIGENT BACKTRACKING ALGORITHM|
|Authors:||Dewar, Alan D.|
Cleary, John G.
|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.|
|Appears in Collections:||Technical Reports|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.