" SAT@home 2.0

What is SAT@home 2.0?

SAT@home 2.0 is a volunteer computing project aimed at solving hard instances of the Boolean satisfiability problem.

Join SAT@home 2.0

Already joined? Log in.

News

No news forum. Run html/ops/create_forums.php.


©2024 ISDCT SB RAS and IITP RAS