Sage Journals: Discover world-class research

Open access

Research article

First published 2006-2

Translating Pseudo-Boolean Constraints into SAT

Niklas Eén, Niklas Sörensson

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2012-11

A New Translation from ECTL* to SAT

Andrzej Zbrzezny

Fundamenta Informaticae

Retricted access

Research article

First published 2008-5

Improving the Translation from ECTL to SAT

Andrzej Zbrzezny

Fundamenta Informaticae

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

Retricted access

Research article

First published 2004-11

ACTLS properties and Bounded Model Checking

Bożena Woźna

Fundamenta Informaticae

Retricted access

Research article

First published 2000-12

The Tower of Babel vs the Power of Babble

SAM LEHMAN-WILZIG

New Media & Society

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 2008-5

2006 and 2007 Max-SAT Evaluations: Contributed Instances

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

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2022-11

Satellite Noncoding RNAs (ncRNA) as Cancer Biomarkers? New Insights from FA-SAT ncRNA Molecular and Clinical Profiles in Feline Mammary Tumors

Daniela Ferreira, Maria Soares, Jorge Correia [...]

OMICS: A Journal of Integrative Biology

Open access

Research article

First published 2009-2

Improved SAT-based Reachability Analysis with Observability Don’t Cares

Sean Safarpour, Andreas Veneris, Rolf Drechsler

Journal on Satisfiability,Boolean Modelling and Computation

Search results