Logic-Based 0-1 Constraint Programming | lit.salon