Sage Journals: Discover world-class research

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

Open access

Research article

First published 2006-2

Hard Satisfiable Clause Sets for Benchmarking Equivalence Reasoning Techniques

Harri Haanpää, Matti Järvisalo, Petteri Kaski [...]

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2006-2

Locality and Hard SAT-Instances

Klas Markström

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2011-2

Restoring CSP Satisfiability with MaxSAT

Inês Lynce, Joao Marques-Silva

Fundamenta Informaticae

Open access

Research article

First published 2012-8

Reweighted Belief Propagation and Quiet Planting for Random K -SAT

Florent Krzakala, Marc Mézard, Lenka Zdeborová

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2011-2

Partitioning Search Spaces of a Randomized Search

Antti E.J. Hyvärinen, Tommi Junttila, Ilkka Niemelä

Fundamenta Informaticae

Open access

Research article

First published 2008-2

An Extended Semidefinite Relaxation for Satisfiability

Miguel F. Anjos

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2017-3-16

The bi-objective workflow satisfiability problem and workflow resiliency 1

Jason Crampton, Gregory Gutin, Daniel Karapetyan [...]

Journal of Computer Security

Retricted access

Research article

First published 1994-6

MODEL FINDING IN SEMANTICALLY GUIDED INSTANCE-BASED THEOREM PROVING

Heng Chu, David A. Plaisted

Fundamenta Informaticae

Retricted access

Research article

First published 2011-9

PlanICS - a Web Service Composition Toolset

Dariusz Doliwa, Wojciech Horzelski, Mariusz Jarocki [...]

Fundamenta Informaticae

Search results