Extending Quantifier Elimination to Linear Inequalities on Bit-Vectors

DOI10.1007/978-3-642-36742-7_6zbMath1381.68055OpenAlexW1769016125MaRDI QIDQ5326316

Ajith K. John, Supratik Chakraborty

Publication date: 5 August 2013

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-36742-7_6

Mathematics Subject Classification ID

Logic in computer science (03B70) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

A layered algorithm for quantifier elimination from linear modular constraints

This page was built for publication: Extending Quantifier Elimination to Linear Inequalities on Bit-Vectors