On the Number of 2-SAT Functions (Q3552502): Difference between revisions
From MaRDI portal
Set profile property. |
Changed an Item |
||
Property / arXiv ID | |||
Property / arXiv ID: 1005.2863 / rank | |||
Normal rank |
Revision as of 17:27, 19 April 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the Number of 2-SAT Functions |
scientific article |
Statements
On the Number of 2-SAT Functions (English)
0 references
22 April 2010
0 references
2-SAT formulae
0 references
`odd-blue-triangle-free' graphs
0 references