SAT solver management strategies in IC3: an experimental approach
type: Item
instance of: scholarly article
title: SAT solver management strategies in IC3: an experimental approach
zbMATH Open document ID: 1360.68580
author: Yong-Cai Geng
author: Sumit K. Garg
published in: Formal Methods in System Design
publication date: 2017-05-12T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68T20
zbMATH DE Number: 6715262
zbMATH Keywords: formal verification
zbMATH Keywords: hardware model checking
zbMATH Keywords: IC3
zbMATH Keywords: SAT solving
describes a project that uses: nuXmv
describes a project that uses: MiniSat
describes a project that uses: CirCUs
describes a project that uses: Chaff
MaRDI profile type: Publication
full work available at URL: s10703-017-0272-0
OpenAlex ID: W2589742570
cites work: SAT-Based Model Checking without Unrolling
cites work: A structure-preserving clause form translation
cites work: Computer Aided Verification
cites work: Understanding IC3
cites work: Benchmarking a model checker for algorithmic improvements and tuning for performance
cites work: Simulating circuit-level simplifications on CNF
cites work: Q3682462
cites work: Applying Logic Synthesis for Speeding Up SAT
cites work: Theory and Applications of Satisfiability Testing
cites work: Temporal induction by incremental SAT solving
DOI: 10.1007/S10703-017-0272-0
description: scientific article; zbMATH DE number 6715262