Sage Journals: Discover world-class research

Open access

Research article

First published 2011-11

Successful SAT Encoding Techniques

Magnus Björk

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2006-8

Using SAT Encodings to Derive CSP Value Ordering Heuristics

Christophe Lecoutre, Lakhdar Saïs, Julien Vion

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2004-9

Detecting State Encoding Conflicts in STG Unfoldings Using SAT

Victor Khomenko, Maciej Koutny, Alex Yakovlev

Fundamenta Informaticae

Retricted access

Research article

First published 2010-8

A SAT-based Method for Solving the Two-dimensional Strip Packing Problem

Takehide Soh, Katsumi Inoue, Naoyuki Tamura [...]

Fundamenta Informaticae

Open access

Research article

First published 2012-2

QMaxSAT: A Partial Max-SAT Solver

Miyuki Koshimura, Tong Zhang, Hiroshi Fujita [...]

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2008-5

2006 and 2007 Max-SAT Evaluations: Contributed Instances

Federico Heras, Javier Larrosa, Simon de Givry [...]

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2009-2

QBF-Based Formal Verification: Experience and Perspectives

Marco Benedetti, Hratch Mangassarian

Journal on Satisfiability,Boolean Modelling and Computation

Free access

Research article

First published 2014-11

Zidovudine Induces Visceral Mitochondrial Toxicity and Intra-Abdominal Fat Gain in a Rodent Model of Lipodystrophy

Ulrich A Walker, Dirk Lebrecht, Wilfried Reichard [...]

Antiviral Therapy

Open access

Research article

First published 2006-2

A Translation of Pseudo-Boolean Constraints to SAT

Olivier Bailleux, Yacine Boufkhad, Olivier Roussel

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2014-6

On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving

Ruben Martins, Saurabh Joshi, Vasco Manquinho [...]

Journal on Satisfiability,Boolean Modelling and Computation

Search results