"
SAT@home 2.0 is a volunteer computing project aimed at solving hard instances of the Boolean satisfiability problem.
Already joined? Log in.
©2024 ISDCT SB RAS and IITP RAS