New Boolean satisfiability problem heuristic strategy: Minimal Positive Negative Product Strategy

Re-assign community