Sage Journals: Discover world-class research

Open access

Research article

First published 2016-6

On Exponential Lower Bounds for Partially Ordered Resolution

Mikoláš Janota

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2016

Tight Lower Bounds on the Resolution Complexity of Perfect Matching Principles

Dmitry Itsykson, Vsevolod Oparin, Mikhail Slabodkin [...]

Fundamenta Informaticae

Open access

Research article

First published 2014-6

ahmaxsat : Description and Evaluation of a Branch and Bound Max-SAT Solver

André Abramé, Djamal Habet

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2021-12-16

On development of multi-resolution detector for tomato disease diagnosis

Dugang Guo, Jun Liu, Xuewei Wang

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

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

Ordered Binary Decision Diagrams,Pigeonhole Formulas and Beyond 1

Olga Tveretina, Carsten Sinz, Hans Zantema

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2000-02

Back to the Drawing Board

Joseph Margolis

Theory & Psychology

Open access

Research article

First published 2024-6

The Riis Complexity Gap for QBF Resolution

Olaf Beyersdorff, Judith Clymo, Stefan Dantchev [...]

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2014-9

Partial ambiguity resolution with integrity risk constraint for high-performance Global Navigation Satellite System navigation

Haiying Liu, Lei Xu, Weisong Ye [...]

Proceedings of the Institution of Mechanical Engineers,Part G: Journal of Aerospace Engineering

Free access

Abstract

First published 1977-8

Strategies for choosing a deoxyribonucleic acid stain for flow cytometry of metaphase chromosomes.

R H Jensen, R G Langlois, B H Mayall

Journal of Histochemistry & Cytochemistry

Search results