An efficient algorithm of logic programming with constraint hierarchy
From MaRDI portal
Publication:5096308
DOI10.1007/BFb0016852zbMath1495.68031MaRDI QIDQ5096308
Publication date: 16 August 2022
Published in: Constraints in Computational Logics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bfb0016852
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
68N17: Logic programming
Cites Work