Sage Journals: Discover world-class research

Retricted access

Research article

First published 2016-4

Analysis of minimal cut and path sets based on direct partial Boolean derivatives

Miroslav Kvassay, Vitaly Levashenko, Elena Zaitseva

Proceedings of the Institution of Mechanical Engineers,Part O: Journal of Risk and Reliability

Retricted access

Research article

First published 2013-8

Boolean Minimization in Social Science Research

Alrik Thiem, Adrian Duşa

Social Science Computer Review

Open access

Research article

First published 2007-8

An Extension of Deficiency and Minimal Unsatisfiability of Quantified Boolean Formulas

Hans Kleine Büning, Xishun Zhao

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2022-2

Finding the minimal cut sequences of dynamic,repairable,and reconfigurable systems from Generalized Boolean logic Driven Markov Process models

Pierre-Yves Piriou, Jean-Marc Faure, Jean-Jacques Lesage

Proceedings of the Institution of Mechanical Engineers,Part O: Journal of Risk and Reliability

Retricted access

Research article

First published 2020

Minimal Base for Finite Topological Space by Matrix Method

Yidong Lin, Jinjin Li, Liangxue Peng [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2024-02

Computing Minimal Boolean Models of Gene Regulatory Networks

Guy Karlebach, Peter N. Robinson

Journal of Computational Biology

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 2016-3-2

Maximal falsifiability

Alexey Ignatiev, Antonio Morgado, Jordi Planes [...]

The European Journal on Artificial Intelligence

Open access

Research article

First published 2023-06

Qualitative Comparative Analysis: Search Target,Reflection on the Top-Down Approach,and Introduction of the Bottom-Up Approach

Haien Ding

International Journal of Qualitative Methods

Retricted access

Research article

First published 2012-5

Towards efficient MUS extraction

Anton Belov, Inês Lynce, Joao Marques-Silva

The European Journal on Artificial Intelligence

Search results