SAT solver management strategies in IC3: an experimental approach

DOI10.1007/s10703-017-0272-0zbMath1360.68580MaRDI QIDQ526434

Yong-Cai Geng, Sumit K. Garg

Publication date: 12 May 2017

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-017-0272-0

zbMATH Keywords

formal verification; SAT solving; hardware model checking; IC3

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

• CirCUs
• MiniSat
• Chaff
• nuXmv