zChaff

swMATH4757MaRDI QIDQ16925FDOQ16925

Author name not available (Why is that?)

Described by source

• Theory and Applications of Satisfiability Testing

Cited In (31)

• Detecting Inconsistencies in Large Biological Networks with Answer Set Programming
• Symbolic techniques in satisfiability solving
• Solving SAT problem by heuristic polarity decision-making algorithm
• Formal Methods for Hardware Verification
• Title not available (Why is that?)
• Automating Algebraic Specifications of Non-freely Generated Data Types
• A competitive and cooperative approach to propositional satisfiability
• Theory and Applications of Satisfiability Testing
• Theory and Applications of Satisfiability Testing
• On Solving the Partial MAX-SAT Problem
• Worst-case study of local search for MAX-\(k\)-SAT.
• Correct Hardware Design and Verification Methods
• Title not available (Why is that?)
• Extending Coq with Imperative Features and Its Application to SAT Verification
• Theory and Applications of Satisfiability Testing
• Theory and Applications of Satisfiability Testing
• Efficiently checking propositional refutations in HOL theorem provers
• Hybrid BDD and All-SAT Method for Model Checking
• Theory and Applications of Satisfiability Testing
• Title not available (Why is that?)
• Theory and Applications of Satisfiability Testing
• Deciding Bit-Vector Arithmetic with Abstraction
• On the independence number of $(3, 3)$-Ramsey graphs and the Folkman number $F_e(3, 3; 4)$
• Propagation via lazy clause generation
• SAT-Based Analysis of Cellular Automata
• New updating criteria for conflict-based branching heuristics in DPLL algorithms for satisfiability
• Automatic generation of redundant models for permutation constraint satisfaction problems
• A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses
• Complete Boolean satisfiability solving algorithms based on local search
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for software: zChaff