Sage Journals: Discover world-class research

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

Successful SAT Encoding Techniques

Magnus Björk

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

Retricted access

Research article

First published 1983-03

Long-Range Predictive and Differential Validities of the Scholastic Aptitude Test in Medical School

Carter Zeleznik, Mohammadreza Hojat, Jon Veloski

Educational and Psychological Measurement

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

Decomposing SAT Problems into Connected Components

Armin Biere, Carsten Sinz

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

Situational Action Theory and the particular case of settings including a group

Julia Kleinewiese

European Journal of Criminology

Open access

Research article

First published 2025-4

Assessing the Speed–Accuracy Tradeoff in Psychological Testing Using Experimental Manipulations

Tobias Alfers, Georg Gittler, Esther Ulitzsch [...]

Educational and Psychological Measurement

Open access

Research article

First published 2025-5

What next for tests of the situational model of Situational Action Theory? Recommendations from a systematic review

Beth Hardie, Chae Rose

European Journal of Criminology

Search results