Sage Journals: Discover world-class research

Open access

Research article

First published 2006-2

The SAT 2005 Solver Competition on Random Instances

Oliver Kullmann

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2019-6

SAT Competition 2018

Marijn J. H. Heule, Matti Järvisalo, Martin Suda

Journal on Satisfiability,Boolean Modelling and Computation

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

Editorial

First published 2006-2

Preface to the Special Volume on the SAT 2005 Competitions and Evaluations

Daniel Le Berre, Laurent Simon

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2006-2

Back to the SAT05 Competition: an a Posteriori Analysis of Solver Performance on Industrial Benchmarks

Emmanuel Zarpas

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2012-11

Planning as satisfiability with IPC simple preferences and action costs

Marco Maratea

The European Journal on Artificial Intelligence

Retricted access

Other

First published 2011-2

Max-SAT formalisms with hard and soft constraints

Josep Argelich

The European Journal on Artificial Intelligence

Open access

Research article

First published 2016-6

Hard satisfiable 3-SAT instances via autocorrelation

Srinivasan Arunachalam, Ilias Kotsireas

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2012-8

Contrasat – A Contrarian SAT Solver

Allen Van Gelder

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

Search results