A LOW-COST HIGH ACCURACY INTELLIGENT BACKTRACKING ALGORITHM

dc.contributor.authorDewar, Alan D.eng
dc.contributor.authorCleary, John G.eng
dc.date.accessioned2008-05-20T23:28:11Z
dc.date.available2008-05-20T23:28:11Z
dc.date.computerscience1999-05-27eng
dc.date.issued1990-03-01eng
dc.description.abstractWe 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.eng
dc.description.notesWe are currently acquiring citations for the work deposited into this collection. We recognize the distribution rights of this item may have been assigned to another entity, other than the author(s) of the work.If you can provide the citation for this work or you think you own the distribution rights to this work please contact the Institutional Repository Administrator at digitize@ucalgary.caeng
dc.identifier.department1990-381-05eng
dc.identifier.doihttp://dx.doi.org/10.11575/PRISM/31266
dc.identifier.urihttp://hdl.handle.net/1880/46513
dc.language.isoEngeng
dc.publisher.corporateUniversity of Calgaryeng
dc.publisher.facultyScienceeng
dc.subjectComputer Scienceeng
dc.titleA LOW-COST HIGH ACCURACY INTELLIGENT BACKTRACKING ALGORITHMeng
dc.typeunknown
thesis.degree.disciplineComputer Scienceeng
Files
Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
1990-381-05.pdf
Size:
1.39 MB
Format:
Adobe Portable Document Format
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.86 KB
Format:
Plain Text
Description: