The industrial instances Max-Sat evaluation are too big. I'm looking for instance that do not have more than few thousands of variables.

Similar questions and discussions