PaSAT — Parallel SAT-Checking with Lemma Exchange: Implementation and Applications
- 30 June 2001
- journal article
- Published by Elsevier in Electronic Notes in Discrete Mathematics
- Vol. 9, 205-216
- https://doi.org/10.1016/s1571-0653(04)00323-3
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- Proving Consistency Assertions for Automotive Product Data ManagementJournal of Automated Reasoning, 2000
- Logical Cryptanalysis as a SAT ProblemJournal of Automated Reasoning, 2000
- An object-oriented platform for distributed high-performance symbolic computationMathematics and Computers in Simulation, 1999
- A fast parallel SAT-solver — efficient workload balancingAnnals of Mathematics and Artificial Intelligence, 1996
- THE MODAL LOGIC AND FUZZY COGNITIVE MAPS IN TELEPRESENCEInternational Journal on Artificial Intelligence Tools, 1996
- PSATO: a Distributed Propositional Prover and its Application to Quasigroup ProblemsJournal of Symbolic Computation, 1996
- Branching rules for satisfiabilityJournal of Automated Reasoning, 1995
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986