Timeline for Lower bound on the number of solutions of 2SAT
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 27, 2022 at 10:39 | comment | added | Alm | Great! Thanks for the references! | |
| Sep 26, 2022 at 8:59 | comment | added | Tomáš Peitl | Yes, that's true. I updated the answer with another suggestion that's more along the lines of what you asked for. | |
| Sep 26, 2022 at 8:58 | history | edited | Tomáš Peitl | CC BY-SA 4.0 |
Added more details and a suggestion that answers the question in a more useful way.
|
| Sep 24, 2022 at 7:37 | comment | added | Alm | Your example with complete graph does not rule out a non-trivial lower bound in terms of the number of clauses with affirmative literals. | |
| Sep 23, 2022 at 17:57 | history | edited | Tomáš Peitl | CC BY-SA 4.0 |
fixed typos
|
| Sep 23, 2022 at 13:05 | review | Late answers | |||
| Sep 23, 2022 at 13:37 | |||||
| Sep 23, 2022 at 12:47 | history | answered | Tomáš Peitl | CC BY-SA 4.0 |