|
Search: id:A109457
|
|
|
| A109457 |
|
Number of Krom functions on n variables (or 2SAT instances): conjunctions of clauses with two literals per clause. |
|
+0
5
|
|
| 2, 4, 16, 166, 4170, 224716, 24445368, 5167757614, 2061662323954
(list; graph; listen)
|
|
|
Search completed in 0.002 seconds
|
