Sage Journals: Discover world-class research

Free access

Research article

First published 2010-2

Formal Correctness Proof for DPLL Procedure

Filip Marić, Predrag Janičić

Informatica: An International Journal of Computing and Informatics

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 2009-2

Boosting SAT Solver Performance via a New Hybrid Approach 1

Lei Fang, Michael S. Hsiao

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2019-6

GhostQ

William Klieber

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Other

First published 2009-5

Structure-based satisfiability checking

Matti Järvisalo

The European Journal on Artificial Intelligence

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 2011-5

DepQBF : A Dependency-Aware QBF Solver

Florian Lonsing, Armin Biere

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2009-2

A Resolution Based SAT-solver Operating on Complete Assignments

Eugene Goldberg

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

Search results