SAT solver management strategies in IC3: an experimental approach

DOI10.1007/s10703-017-0272-0zbMath1360.68580OpenAlexW2589742570MaRDI 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 verificationSAT solvinghardware model checkingIC3

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)

Uses Software

• CirCUs
• MiniSat
• Chaff
• nuXmv

Cites Work

• Simulating circuit-level simplifications on CNF
• Benchmarking a model checker for algorithmic improvements and tuning for performance
• A structure-preserving clause form translation
• Understanding IC3
• SAT-Based Model Checking without Unrolling
• Applying Logic Synthesis for Speeding Up SAT
• Theory and Applications of Satisfiability Testing
• Theory and Applications of Satisfiability Testing
• Computer Aided Verification
• Unnamed Item
• Unnamed Item

This page was built for publication: SAT solver management strategies in IC3: an experimental approach