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)

Full work available at URL https://doi.org/10.1007/BFB0016851

Mathematics Subject Classification ID

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

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

Cited in

(1)

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