Sage Journals: Discover world-class research

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

HaifaSat : a SAT solver based on an Abstraction/Refinement model

Roman Gershman, Ofer Strichman

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2011-5

The Impact of Max-SAT Resolution-Based Preprocessors on Local Search Solvers

Federico Heras, David Bañeres

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2025-10

pygarg: A Python engine for argumentation

Jean-Guy Mailly

Argument & Computation

Open access

Research article

First published 2006-2

Pueblo: A Hybrid Pseudo-Boolean SAT Solver

Hossein M. Sheini, Karem A. Sakallah

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

The Sat4j library,release 2.2

Daniel Le Berre, Anne Parrain

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2006-2

Locality and Hard SAT-Instances

Klas Markström

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2008-5

Solving Weighted Max-SAT Problems in a Reduced Search Space: A Performance Analysis 1

Knot Pipatsrisawat, Akop Palyan, Mark Chavira [...]

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2012-8

Sat4j 2.3.2: on the fly solver configuration

Daniel Le Berre, Stéphanie Roussel

Journal on Satisfiability,Boolean Modelling and Computation

Search results