Sage Journals: Discover world-class research

Retricted access

Research article

First published 2022-03-31

A method for counting models on grid Boolean formulas 1

Marco A. López-Medina, J. Raymundo Marcial-Romero, Guillermo De Ita Luna [...]

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

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

Open access

Research article

First published 2012-2

Compactly Generating All Satisfying Truth Assignments of a Horn Formula

Marcel Wild

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2008-5

Computational Efficiency of Intermolecular Gene Assembly

Tseren-Onolt Ishdorj, Remco Loos, Ion Petre

Fundamenta Informaticae

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

Retricted access

Research article

First published 2017-12-21

Forcing for First-Order Languages from the Perspective of Rasiowa–Sikorski Lemma

Janusz Czelakowski

Fundamenta Informaticae

Retricted access

Research article

First published 2003-5

Expressing default abduction problems as quantified Boolean formulas

Hans Tompits

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2007-6

Assessment of large automatically generated fault trees by means of binary decision diagrams

A. B. Rauzy, J Gauthier, X Leduc

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

Retricted access

Research article

First published 2026-4

Interactively visualizing pattern-based summaries of fuzzy tensors

Victor Henrique Silva Ribeiro, Loïc Cerf

Information Visualization

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

Search results