Timeline for Encoding a "not-k-out-of-n" constraint for SAT solvers
Current License: CC BY-SA 4.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 8, 2019 at 22:47 | vote | accept | onigame | ||
| Jul 7, 2019 at 6:23 | history | answered | orlp | CC BY-SA 4.0 |