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

Retricted access

Research article

First published 1970-6

The Sat as a Measure of Problem-Solving Ability in Males and Females

Norman R. F. Maier, Gertrude G. Casselman

Psychological Reports

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

Retricted access

Research article

First published 2010-8

A SAT-based Method for Solving the Two-dimensional Strip Packing Problem

Takehide Soh, Katsumi Inoue, Naoyuki Tamura [...]

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

Parallel SAT Solving using Bit-level Operations 1

Marijn Heule, Hans van Maaren

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2019-5

A multilevel synergy Thompson sampling hyper-heuristic for solving Max-SAT

Mourad Lassouaoui, Dalila Boughaci, Belaid Benhamou

Intelligent Decision Technologies

Open access

Research article

First published 2006-2

March_dl: Adding Adaptive Heuristics and a New Branching Strategy

Marijn J.H. Heule, Hans van Maaren

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2006-8

Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure 1

Martin Fränzle, Christian Herde, Tino Teige [...]

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

Search results