Sage Journals: Discover world-class research

Open access

Research article

First published 2006-5

Improved Bound for the PPSZ/Schöning-Algorithm for 3-SAT

Daniel Rolf

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2016-6

Hard satisfiable 3-SAT instances via autocorrelation

Srinivasan Arunachalam, Ilias Kotsireas

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

Retricted access

Research article

First published 2008-7

On the Computational Efficiency of Polarizationless Recognizer P Systems with Strong Division and Dissolution

Claudio Zandron, Alberto Leporati, Claudio Ferretti [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2016-9

Agent Transparency and the Autonomous Squad Member

Anthony R. Selkowitz, Shan G. Lakhmani, Cintya N. Larios [...]

Proceedings of the Human Factors and Ergonomics Society Annual Meeting

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

Retricted access

Research article

First published 2026

Selective Supra-Aortic Trunk Stenting During Endovascular Total Aortic Arch Repair in Patients With Residual Chronic Type A Dissection Treated With Double-Fenestrated Physician-Modified Endografts

Christoph Bacri, Kheira Hireche, Pierre Alric [...]

Journal of Endovascular Therapy

Open access

Review article

First published 2020

Research Advances in the Subtype of Sepsis-Associated Thrombocytopenia

Xinghui Wu, Yue Li, Huasheng Tong

Clinical and Applied Thrombosis/Hemostasis

Retricted access

Research article

First published 2018-1

Quantification of visceral adipose tissue in polycystic ovary syndrome: dual-energy X-ray absorptiometry versus magnetic resonance imaging

Signe Frøssing, Malin Chatarina Nylander, Elizaveta Chabanova [...]

Acta Radiologica

Open access

Research article

First published 2006-2

Semidefinite Optimization Approaches for Satisfiability and Maximum-Satisfiability Problems

Miguel F. Anjos

Journal on Satisfiability,Boolean Modelling and Computation

Search results