Repeated redundant inequalities in constraint logic programming

DOI10.1007/BFB0016851zbMATH Open1495.68032MaRDI QIDQ5096306FDOQ5096306

Authors: Spiro Michaylov 

Publication date: 16 August 2022

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

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

Mathematics Subject Classification ID

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

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)