Matching Multiplications in Bit-Vector Formulas

DOI10.1007/978-3-319-52234-0_8zbMath1484.68098arXiv1611.10146MaRDI QIDQ2961559

Rahul Jain, Supratik Chakraborty, Ashutosh Gupta

Publication date: 21 February 2017

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1611.10146

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

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

Uses Software

• Boolector
• CUTE
• SMT-LIB
• z3
• DART
• Boogie
• CVC4
• CBMC