Sage Journals: Discover world-class research

Open access

Research article

First published 2012-2

Encoding Nested Boolean Functions as Quantified Boolean Formulas

Uwe Bubeck, Hans Kleine Büning

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 2015-9

Boolean Matrices and their Applications to Covering Reductions

Kai Zhu, Guilong Liu, Yanbin Feng

Fundamenta Informaticae

Retricted access

Research article

First published 2004-11

Construction of Boolean contact algebras

Ivo Düntsch, Michael Winter

The European Journal on Artificial Intelligence

Open access

Research article

First published 2006-2

The First Evaluation of Pseudo-Boolean Solvers (PB’05)

Vasco M. Manquinho, Olivier Roussel

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2018

Boolean Representation for Exact Biclustering

Marcin Michalak, Dominik Ślęzak

Fundamenta Informaticae

Free access

Research article

First published 2004-12

Boolean Logit and Probit in Stata

Bear F. Braumoeller

The Stata Journal: Promoting communications on statistics and Stata

Retricted access

Research article

First published 2008-10

Efficient Minimisation of Boolean Functions

V. C. Prasad

International Journal of Electrical Engineering & Education

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 2014-11

Computations in Boolean Algebra with Approximation

Armen Kostanyan, Paruyr Khnkoyan

Fundamenta Informaticae

Search results