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

Retricted access

Research article

First published 2009-5

On the Dynamics of Social Balance on General Networks (with an application to XOR-SAT)

Gabriel Istrate

Fundamenta Informaticae

Retricted access

Research article

First published 2017-04

C-SATS: Assessing Surgical Skills Among Urology Residency Applicants

Simone L. Vernez, Victor Huynh, Kathryn Osann [...]

Journal of Endourology

Open access

Research article

First published 2014-6

Applications of SAT Solvers in Cryptanalysis: Finding Weak Keys and Preimages

Frédéric Lafitte, Jorge Nakahara, Dirk Van Heule

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2022-3

Contextualizing the SAT: Experimental Evidence on College Admission Recommendations for Low-SES Applicants

Michael N. Bastedo, Kristen M. Glasener, K. C. Deane [...]

Educational Policy

Retricted access

Research article

First published 2022-06-09

Application of fuzzy TOPSIS in assessing performance of agro-processed organic crops: A case of Sustainable Agriculture Tanzania (SAT) in Morogoro

Benito G. Mng’ong’o, Dana RAD, David Koloseni [...]

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

Open access

Research article

First published 2012-8

MUSer2: An Efficient MUS Extractor 1

Anton Belov, Joao Marques-Silva

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2012-8

Satisfiability-based Set Membership Filters

Sean A. Weaver, Katrina J. Ray, Victor W. Marek [...]

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

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

Search results