Intractable unifiability problems and backtracking

DOI10.1007/BF00245020zbMath0686.68043OpenAlexW3023267962MaRDI QIDQ1262770

D. A. Wolfram

Publication date: 1989

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00245020

zbMATH Keywords

complexityNP-completenessunification

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25)

Related Items (1)

Forward checking and intelligent backtracking

This page was built for publication: Intractable unifiability problems and backtracking