CirCUs: A hybrid satisfiability solver

DOI10.1007/11527695_17MaRDI QIDQ5714752zbMATH OpenOpenAlexFDO

Authors Hoonsang Jin, Fabio Somenzi

Publication date 16 December 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11527695

Mathematics Subject Classification ID

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

Recommendations

• CirCUs: A satisfiability solver geared towards bounded model checking
• A BDD SAT solver for satisfiability testing: An industrial case study
• Theory and Applications of Satisfiability Testing
• A clause-based heuristic for SAT solvers
• Symbolic techniques in satisfiability solving

Cited in

(7)

• CirCUs
• A BDD SAT solver for satisfiability testing: An industrial case study
• The \textsc{MergeSat} solver
• scientific article; zbMATH DE number 5139167 (Why is no real title available?)
• A View from the Engine Room: Computational Support for Symbolic Model Checking
• SAT solver management strategies in IC3: an experimental approach
• CirCUs: A satisfiability solver geared towards bounded model checking

Describes a project that uses

Uses Software

• SBSAT
• CUDD

This page was built for publication: CirCUs: A hybrid satisfiability solver

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5714752)