New posts in sat

Class Scheduling to Boolean satisfiability [Polynomial-time reduction]

c algorithm scheduling reduction sat

K-out-of-N constraint in Z3Py

z3 z3py sat

How to bias Z3's (Python) SAT solving towards a criteria, such as 'preferring' to have more negated literals

z3 z3py theorem-proving sat satisfiability