11,665 followers
Yikes, according to this paper [1] combinatorial designs produce "some of the smallest very hard satisfiability problems ever constructed" Maybe I shouldn't be so hard on z3 😅 [1]: https://t.co/7IpiIEdVZe
Yikes, according to this paper [1] combinatorial designs produce "some of the smallest very hard satisfiability problems ever constructed" Maybe I shouldn't be so hard on z3 😅 [1]: https://t.co/7IpiIEdVZe