Community-based 3-SAT Formulas with a Predefined Solution

Open in new window