Finding Relations Among Linear Constraints

DOI10.1007/11856290_20MaRDI QIDQ5302916zbMATH OpenOpenAlexFDO

Authors Jun Yan, Jian Zhang, Zhongxing Xu

Publication date 15 January 2009

Published in Artificial Intelligence and Symbolic Computation (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

Recommendations

• Static Analysis
• Solving linear constraints over real and rational fields
• Computer Aided Verification
• A linear expected-time algorithm for deriving all logical conclusions implied by a set of boolean inequalities
• Algorithm to find invariant linear inequality constraints in programs

Cited in

(1)

• Static Analysis

This page was built for publication: Finding Relations Among Linear Constraints

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