Sage Journals: Discover world-class research

Open access

Research article

First published 2010-5

PaMiraXT: Parallel SAT Solving with Threads and Message Passing

Tobias Schubert, Matthew Lewis, Bernd Becker

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2008-5

Parallel SAT Solving using Bit-level Operations 1

Marijn Heule, Hans van Maaren

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Editorial

First published 2010-5

Conclusion to the Special Issue on Parallel SAT Solving

Youssef Hamadi

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2011-11

Deterministic Parallel DPLL

Youssef Hamadi, Said Jabbour, Cedric Piette [...]

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2010-2

Cache Conscious Data Structures for Boolean Satisfiability Solvers

Geoffrey Chu, Aaron Harwood, Peter J. Stuckey

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2008-7

On the Computational Efficiency of Polarizationless Recognizer P Systems with Strong Division and Dissolution

Claudio Zandron, Alberto Leporati, Claudio Ferretti [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2003-10

Solving a PSPACE-Complete Problem by Recognizing P Systems with Restricted Active Membranes

Artiom Alhazov, Carlos Martín-Vide, Linqiang Pan

Fundamenta Informaticae

Open access

Research article

First published 2009-2

Dependence Graph Based Verification and Synthesis of Hardware/Software Co-Designs with SAT Related Formulation

Masahiro Fujita, Kenshu Seto, Thanyapat Sakunkonchak

Journal on Satisfiability,Boolean Modelling and Computation

Search results