Repeated redundant inequalities in constraint logic programming

DOI10.1007/BFB0016851MaRDI QIDQ5096306zbMATH OpenFDO

Authors 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)

Recommendations

• Repeated redundant inequalities in constraint logic programming
• Redundancy elimination with a lexicographic solved form
• Incremental Linear Constraint Solving and Detection of Implicit Equalities
• scientific article; zbMATH DE number 1975616
• Redundancy in linear inequality system

Cites work

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5096306)