Repeated redundant inequalities in constraint logic programming

DOI10.1007/BFb0016851zbMath1495.68032MaRDI QIDQ5096306

Spiro Michaylov

Publication date: 16 August 2022

Published in: Constraints in Computational Logics (Search for Journal in Brave)

Mathematics Subject Classification ID

68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)

68N17: Logic programming

Cites Work

• Repeated redundant inequalities in constraint logic programming
• Bottom-up dataflow analysis of normal logic programs