Publication:2729082
From MaRDI portal
zbMath0971.68633MaRDI QIDQ2729082
Per Bjesse, Niklas Een, Parosh Aziz Abdulla
Publication date: 6 November 2001
68W30: Symbolic computation and algebraic computation
68U99: Computing methodologies and applications
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Quantifier elimination by dependency sequents, Weak, strong, and strong cyclic planning via symbolic model checking, Formal verification based on Boolean expression diagrams, Static analysis and stochastic search for reachability problem, A Boolean satisfiability approach to the resource-constrained project scheduling problem, A taxonomy of exact methods for partial Max-SAT, Unnamed Item, Unnamed Item, Interpolant Learning and Reuse in SAT-Based Model Checking, SAT-Based Model Checking, New Encodings of Pseudo-Boolean Constraints into CNF
Uses Software