Timeline for Calculating the number of assignments satisfying a general propositional formula
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 20, 2019 at 16:18 | comment | added | Yuval Filmus | Wikipedia mentions some such cases. | |
| Feb 20, 2019 at 15:50 | comment | added | RexYuan | Other than the degenerate case where it's just a disjunctive clause, is there any variation of #SAT that exploits for example formula structure? | |
| Feb 20, 2019 at 11:14 | history | answered | Yuval Filmus | CC BY-SA 4.0 |