Due articoli sulle ricerche di decomposizione dei problemi SAT per le loro risoluzioni su SAT@home sono stati pubblicati sul Russian journal.
Due articoli sulle ricerche di decomposizione dei problemi SAT per le loro risoluzioni su SAT@home sono stati pubblicati sul Russian journal.