Pages that link to "Item:Q3382008"
From MaRDI portal
The following pages link to О весах булевых функций, представимых в виде $2$-КНФ или $3$-КНФ (Q3382008):
Displaying 6 items.
- Boolean functions with a simple certificate for CNF complexity (Q412324) (← links)
- Exclusive and essential sets of implicates of Boolean functions (Q968115) (← links)
- Any 2-asummable bipartite function is weighted threshold (Q2275908) (← links)
- О методах оценивания веса булевых биюнктивных функций (Q3382043) (← links)
- Булевы биюнктивные функции, графы 2-КНФ и их порядковые функции. Оценки веса биюнктивной функции с заданным числом слоев (Q3383139) (← links)
- On properties of functions representable in the form of a 2-CNF (Q4809549) (← links)