Sage Journals: Discover world-class research

Open access

Research article

First published 2008-2

SAT Algorithms for Colouring Some Special Classes of Graphs: Some Theoretical and Experimental Results

Sriyankar Acharyya

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2002-1

DNA and Membrane Algorithms for SAT

Vincenzo Manca

Fundamenta Informaticae

Retricted access

Research article

First published 2010-5

Practical algorithms for unsatisfiability proof and core generation in SAT solvers

Roberto Asín Achá, Robert Nieuwenhuis, Albert Oliveras [...]

The European Journal on Artificial Intelligence

Open access

Research article

First published 2006-5

Improved Bound for the PPSZ/Schöning-Algorithm for 3-SAT

Daniel Rolf

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2006-2

A Faster Clause-Shortening Algorithm for SAT with No Restriction on Clause Length

Evgeny Dantsin, Alexander Wolpert

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2010-5

ManySAT: a Parallel SAT Solver

Youssef Hamadi, Said Jabbour, Lakhdar Sais

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2010-5

Incorporating Clause Learning in Grid-Based Randomized SAT Solving 1

Antti E.J. Hyvärinen, Tommi Junttila, Ilkka Niemelä

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2010-2

Linear Satisfiability Algorithm for 3CNF Formulas of Certain Signaling Networks

Utz-Uwe Haus, Klaus Truemper, Robert Weismantel

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2014-6

On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving

Ruben Martins, Saurabh Joshi, Vasco Manquinho [...]

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

Search results