Repeated redundant inequalities in constraint logic programming
From MaRDI portal
Publication:5096306
DOI10.1007/BFb0016851zbMath1495.68032MaRDI QIDQ5096306
Publication date: 16 August 2022
Published in: Constraints in Computational Logics (Search for Journal in Brave)
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
68N17: Logic programming
Cites Work