Weighting strategy for non-clausal resolution
From MaRDI portal
Publication:3499018
DOI10.1080/09528130701475617zbMath1146.68452MaRDI QIDQ3499018
Zbigniew Stachniak, Anton Belov
Publication date: 19 May 2008
Published in: Journal of Experimental & Theoretical Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/09528130701475617
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Cites Work