Home / Computer science / Boolean satisfiability problem (SAT)
Tips
- Assign hard-to-satisfy vars first, to cut down the search space.
- Can be made into an optimization problem of minimizing unsat clauses.
Home / Computer science / Boolean satisfiability problem (SAT)