О методах оценивания веса булевых биюнктивных функций (Q3382043): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: On the classical formula for the first regularized trace of the Laplace operator with an odd potential on the sphere / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Counting models for 2SAT and 3SAT formulae / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: О весах булевых функций, представимых в виде $2$-КНФ или $3$-КНФ / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4856200 / rank | |||
Normal rank | |||
Latest revision as of 16:30, 26 July 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | О методах оценивания веса булевых биюнктивных функций |
scientific article |
Statements
О методах оценивания веса булевых биюнктивных функций (English)
0 references
20 September 2021
0 references
Boolean function
0 references
bijunctive function
0 references
2-CNF
0 references
inclusion-exclusion method
0 references
monotone function on graph
0 references
