Probabilities of Boolean functions given by random implicational formulas

zbMath1243.03011MaRDI QIDQ426921

Cécile Mailler, Veronika Kraus, Antoine Genitrini, Bernhard Gittenberger

Publication date: 12 June 2012

Published in: The Electronic Journal of Combinatorics (Search for Journal in Brave)

Full work available at URL: http://www.emis.de/journals/EJC/ojs/index.php/eljc/article/view/v19i2p37

zbMATH Keywords

complexityBoolean functionsanalytic combinatoricsBoolean formulasimplicational fragmentrandom Boolean expressionsShannon effect

Mathematics Subject Classification ID

Combinatorial probability (60C05) Asymptotic enumeration (05A16) Classical propositional logic (03B05) Boolean functions (06E30)

Related Items (3)

Enumerating lambda terms by weighted length of their de Bruijn representation ⋮ 2-Xor revisited: satisfiability and probabilities of functions ⋮ Associative and commutative tree representations for Boolean functions

This page was built for publication: Probabilities of Boolean functions given by random implicational formulas