Speeding up quantified bit-vector SMT solvers by bit-width reductions and extensions

DOI10.1007/978-3-030-51825-7_27OpenAlexW3040049348MaRDI QIDQ2661364

Martin Jonáš, Jan Strejček

Publication date: 7 April 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-51825-7_27

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Computational aspects of satisfiability (68R07)

Uses Software

• Boolector
• SMT-LIB
• z3
• CVC4
• Q3B

This page was built for publication: Speeding up quantified bit-vector SMT solvers by bit-width reductions and extensions