Results 271 to 280 of about 11,341,390 (298)

Two applications of Boolean models

Archive for Mathematical Logic, 1998
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Universal Booleanization of Constraint Models

2008
While the efficiency and scalability of modern SAT technology offers an intriguing alternative approach to constraint solving via translation to SAT, previous work has mostly focused on the translation of specific types of constraints, such as pseudo Boolean constraints, finite integer linear constraints, and constraints given as explicit listings of ...
openaire   +2 more sources

THE COMPLEXITY OF MODEL CHECKING FOR BOOLEAN FORMULAS

International Journal of Foundations of Computer Science, 2010
We examine the complexity of the model checking problem for Boolean formulas, which is the following decision problem: Given a Boolean formula without variables, does it evaluate to true? We show that the complexity of this problem is determined by certain closure properties of the connectives allowed to build the formula, and achieve a complete ...
openaire   +2 more sources

Mapping between Spin-Glass Three-Dimensional (3D) Ising Model and Boolean Satisfiability Problem

Mathematics, 2023
Zhidong Zhang
exaly  

Boolean model of the gene regulatory network of Pseudomonas aeruginosa CCBH4851

Frontiers in Microbiology, 2023
Fabricio Alves Barbosa da Silva, Marcia Da Silva Chagas, Marcelo Trindade Dos Santos   +2 more
exaly  

Model Evaluation of the Stochastic Boolean Control Networks

IEEE Transactions on Automatic Control, 2022
Jinling Liang, Bo Shen, Hongwei Chen
exaly  

Dynamical Analysis of a Boolean Network Model of the Oncogene Role of lncRNA ANRIL and lncRNA UFC1 in Non-Small Cell Lung Cancer

Biomolecules, 2022
Shantanu Gupta, Ronaldo Hashimoto, Hashimoto Ronaldo F   +2 more
exaly  

Sampled-Data Set Stabilization of Impulsive Boolean Networks Based on a Hybrid Index Model

IEEE Transactions on Control of Network Systems, 2020
Leszek Rutkowski, Guoping Lu, Shiyong Zhu   +2 more
exaly  

l1-gain analysis and model reduction problem for Boolean control networks

Information Sciences, 2016
Min Meng, James Lam, Jun-E Feng
exaly  

Subcritical regimes in the Poisson Boolean model of continuum percolation

Annals of Probability, 2008
Jean-Baptiste Gouère
exaly