Sage Journals: Discover world-class research

Open access

Research article

First published 2006-2

Locality and Hard SAT-Instances

Klas Markström

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

On the Hardness of Reoptimization with Multiple Given Solutions

Hans-Joachim Böckenhauer, Juraj Hromkovič, Andreas Sprock

Fundamenta Informaticae

Retricted access

Research article

First published 1970-03

Instrument Changes During Sterilization

Frederic Custer, Thomas Coyle

Journal of Dental Research

Retricted access

Book review

First published 2004-01

Book Review: Ferri's Clinical Advisor 2003: Instant Diagnosis and Treatment. Fred F Ferri MD. St Louis: Mosby. 2003. Hard cover,illustrated,1,713 pages,includes CD-ROM,$99.95.

Deborah L Greenberg

Respiratory Care

Open access

Research article

First published 2008-2

An Extended Semidefinite Relaxation for Satisfiability

Miguel F. Anjos

Journal on Satisfiability,Boolean Modelling and Computation

Free access

Research article

First published 2000-8

An Algorithm for Construction of Test Cases for the Quadratic Assignment Problem

Gintaras Palubeckis

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published 2008-7

Solving SUBSET SUM by Spiking Neural P Systems with Pre-computed Resources

Alberto Leporati, Miguel A. Gutiérrez-Naranjo

Fundamenta Informaticae

Retricted access

Research article

First published 1995-06

In Defense of Bacon

Alan Soble

Philosophy of the Social Sciences

Retricted access

Research article

First published 2014-12

Genetic Algorithm with Path Relinking for the Orienteering Problem with Time Windows

Joanna Karbowska-Chilinska, Pawel Zabielski

Fundamenta Informaticae

Search results