Results 281 to 290 of about 11,341,390 (298)
Some of the next articles are maybe not open access.

A sprouting tree model for random boolean functions

Random Structures and Algorithms, 2015
Cecile Mailler
exaly  

Approximating Attractors of Boolean Networks by Iterative CTL Model Checking

Frontiers in Bioengineering and Biotechnology, 2015
Hannes Klärner   +2 more
exaly  

Strict Boolean-valued models

Commentarii mathematici Universitatis Sancti Pauli = Rikkyo Daigaku sugaku zasshi, 1982
openaire   +2 more sources

Boolean Satisfiability Solvers and Their Applications in Model Checking

Proceedings of the IEEE, 2015
Georg Weissenbacher, Sharad Malik
exaly  

Home - About - Disclaimer - Privacy