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

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

Constraint Satisfaction Problems in Clausal Form II: Minimal Unsatisfiability and Conflict Structure

Oliver Kullmann

Fundamenta Informaticae

Retricted access

Research article

First published 2021

Encoding Threshold Boolean Networks into Reaction Systems for the Analysis of Gene Regulatory Networks

Roberto Barbuti, Pasquale Bove, Roberta Gori [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2024-11-28

Complemented subsets and Boolean-valued,partial functions

Daniel Misselbeck-Wessel, Iosif Petrakis

Computability

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

Open access

Research article

First published 2006-8

Interpolant based Decision Procedure for Quantifier-Free Presburger Arithmetic

Shuvendu K. Lahiri, Krishna K. Mehra

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2011-3

Compact Representations and Efficient Algorithms for Operating Guidelines

Niels Lohmann, Karsten Wolf

Fundamenta Informaticae

Open access

Research article

First published 2015-5-4

Reasoning in abstract dialectical frameworks using quantified Boolean formulas

Martin Diller, Johannes Peter Wallner, Stefan Woltran

Argument & Computation

Retricted access

Research article

First published 2009-6

A New Approach to Model Checking of UML State Machines

Artur Niewiadomski, Wojciech Penczek, Maciej Szreter

Fundamenta Informaticae

Search results