Sage Journals: Discover world-class research

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

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 2024-6

Proof Complexity of Propositional Model Counting

Olaf Beyersdorff, Tim Hoffmann, Luc N. Spachmann

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2008-5

PicoSAT Essentials

Armin Biere

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2007-9

Optimal Proof Systems,Optimal Acceptors and Recursive Presentability

Zenon Sadowski

Fundamenta Informaticae

Retricted access

Research article

First published 2013-6-1

Proving Correctness of a KRK Chess Endgame Strategy by SAT-based Constraint Solving

Marko Maliković, Predrag Janičić

ICGA Journal: The Journal of the Computer Games Community

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 2016-6

On Exponential Lower Bounds for Partially Ordered Resolution

Mikoláš Janota

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2019-6

The (D)QBF Preprocessor HQSpre – Underlying Theory and Its Implementation 1

Ralf Wimmer, Christoph Scholl, Bernd Becker

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 1966-10

Habituation of Large and Small GSRs

W. A. Greene, H. D. Kimmel

Psychological Reports

Search results