Precise and Complete Propagation Based Local Search for Satisfiability Modulo Theories

DOI10.1007/978-3-319-41528-4_11zbMath1411.68070OpenAlexW2495572426MaRDI QIDQ4633534

Mathias Preiner, Armin Biere, Aina Niemetz

Publication date: 3 May 2019

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

Full work available at URL: https://doi.org/10.1007/978-3-319-41528-4_11

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items

Local Search For Satisfiability Modulo Integer Arithmetic Theories ⋮ On solving quantified bit-vector constraints using invertibility conditions