Solving quantified bit-vectors using invertibility conditions

DOI10.1007/978-3-319-96142-2_16zbMath1511.68255OpenAlexW2963310240MaRDI QIDQ6039405

Mathias Preiner, Clark Barrett, Cesare Tinelli, Aina Niemetz, Andrew Reynolds

Publication date: 5 May 2023

Published in: Computer Aided Verification (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-96142-2_16

Mathematics Subject Classification ID

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

Related Items (4)

Preface of the special issue on the conference on computer-aided verification 2018 ⋮ On solving quantified bit-vector constraints using invertibility conditions ⋮ Towards bit-width-independent proofs in SMT solvers ⋮ Solving bitvectors with MCSAT: explanations from bits and pieces

This page was built for publication: Solving quantified bit-vectors using invertibility conditions