SAT@Home: New paper about searching decompositions for SAT@home

Printable View