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

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

Cites Work

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

This page was built for publication: Repeated redundant inequalities in constraint logic programming