Extending Quantifier Elimination to Linear Inequalities on Bit-Vectors

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

Supratik Chakraborty, Ajith K. John

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

03B70: Logic in computer science

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

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)