Sage Journals: Discover world-class research

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

Open access

Research article

First published 2006-8

A Note on the Use of Independent Sets for the k -SAT Problem

Konstantin Kutzkov

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

Retricted access

Research article

First published 2019

Applying Modern SAT-solvers to Solving Hard Problems

Artur Niewiadomski, Piotr Switalski, Teofil Sidoruk [...]

Fundamenta Informaticae

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

Retricted access

Research article

First published 2014-6

Can Machine Learning Learn a Decision Oracle for NP Problems? A Test on SAT

Cristian Grozea, Marius Popescu

Fundamenta Informaticae

Open access

Research article

First published 2008-5

2006 and 2007 Max-SAT Evaluations: Contributed Instances

Federico Heras, Javier Larrosa, Simon de Givry [...]

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2025-8

The phase transition in random regular exact (3 s + s,k )-SAT problem

Ao Tang, Xiaofeng Wang, Qingyuan Peng [...]

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

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

Decomposing SAT Problems into Connected Components

Armin Biere, Carsten Sinz

Journal on Satisfiability,Boolean Modelling and Computation

Search results