scientific article

zbMath0971.68633MaRDI QIDQ2729082

Per Bjesse, Niklas Een, Parosh Aziz Abdulla

Publication date: 6 November 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

SAT-Based Model Checking, Unnamed Item, Unnamed Item, A Boolean satisfiability approach to the resource-constrained project scheduling problem, A taxonomy of exact methods for partial Max-SAT, Formal verification based on Boolean expression diagrams, Quantifier elimination by dependency sequents, Static analysis and stochastic search for reachability problem, New Encodings of Pseudo-Boolean Constraints into CNF, Interpolant Learning and Reuse in SAT-Based Model Checking, Weak, strong, and strong cyclic planning via symbolic model checking

Uses Software

• SATO