Rankings
Publications
Search Publications
Cited-By Search
Sources
Publishers
Scholars
Scholars
Top Cited Scholars
Organizations
About
Login
Register
Home
Publications
Intractable unifiability problems and backtracking
Home
Publications
Intractable unifiability problems and backtracking
Intractable unifiability problems and backtracking
D. A. Wolfram
D. A. Wolfram
Publisher Website
Google Scholar
Add to library
Cite
Download
Share
Download
1 March 1989
journal article
Published by
Springer Nature
in
Journal of Automated Reasoning
Vol. 5
(1)
https://doi.org/10.1007/bf00245020
Abstract
No abstract available
Keywords
COMPUTATIONAL COMPLEXITY
BACKTRACKING
RESOLUTION
LOGIC PROGRAMMING
UNIFIABILITY
Cited by 2 articles