Pages that link to "Item:Q4344226"

The following pages link to Some typical properties of large AND/OR Boolean formulas (Q4344226):

Displaying 13 items.

• 2-Xor revisited: satisfiability and probabilities of functions (Q727973) (← links)
• Generalised and quotient models for random and/or~trees and application to satisfiability (Q727977) (← links)
• Enumerating lambda terms by weighted length of their de Bruijn representation (Q1706116) (← links)
• Associative and commutative tree representations for Boolean functions (Q2514128) (← links)
• The fraction of large random trees representing a given Boolean function in implicational logic (Q2884007) (← links)
• Asymptotic Properties of Combinatory Logic (Q2948454) (← links)
• The distribution of height and diameter in random non-plane binary trees (Q3165458) (← links)
• A sprouting tree model for random boolean functions (Q3460511) (← links)
• Intuitionistic vs. Classical Tautologies, Quantitative Comparison (Q3499752) (← links)
• Tautologies over implication with negative literals (Q3583801) (← links)
• Complexity and Limiting Ratio of Boolean Functions over Implication (Q3599140) (← links)
• Моменты весов случайных неравновероятных булевых функций (Q5152362) (← links)
• What is the satisfiability threshold of random balanced Boolean expressions? (Q6076769) (← links)