Sage Journals: Discover world-class research

Retricted access

Research article

First published 2012-7

A Boolean Approach for Disentangling the Roles of Submodules to the Global Properties of a Biomodel

Elena Czeizler, Andrzej Mizera, Ion Petre

Fundamenta Informaticae

Retricted access

Research article

First published 2019-10-25

A Boolean matrix approach for granular reduction in formal fuzzy contexts

Yidong Lin, Jinjin Li

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 2013-5

On modeling credit defaults: A probabilistic Boolean network approach

Jia-Wen Gu, Wai-Ki Ching, Tak-Kuen Siu [...]

Risk and Decision Analysis

Retricted access

Research article

First published 2008-03

A Chemistry of Organization: Combinatory Analysis and Design

Anna Grandori, Santi Furnari

Organization Studies

Retricted access

Research article

First published

Boolean Network Approach to Negative Feedback Loops of the p53 Pathways: Synchronized Dynamics and Stochastic Limit Cycles

Hao Ge, Min Qian

Journal of Computational Biology

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 1993-3

Boolean Prediction Analysis under Scrutiny

Johannes Heidema, Willem A. Labuschagne, Martha C. Pistorius

South African Journal of Psychology

Retricted access

Research article

First published 1991

Closed Sets of Boolean Terms in Relational Databases

Andrzej Jankowski, Zbigniew Michalewicz

Fundamenta Informaticae

Open access

Research article

First published 2006-8

Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure 1

Martin Fränzle, Christian Herde, Tino Teige [...]

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

Search results