Sage Journals: Discover world-class research

Open access

Research article

First published 2011-11

Successful SAT Encoding Techniques

Magnus Björk

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2008-5

The First and Second Max-SAT Evaluations

Josep Argelich, Chu-Min Li, Felip Manyà [...]

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2015-5

Hispanics’ SAT Scores

Brenda Hannon

Hispanic Journal of Behavioral Sciences

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

Decomposing SAT Problems into Connected Components

Armin Biere, Carsten Sinz

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2006-2

Translating Pseudo-Boolean Constraints into SAT

Niklas Eén, Niklas Sörensson

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2012-2

TG-Pro: A SAT-based ATPG System

Huan Chen, Joao Marques-Silva

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

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

Search results