Il progetto SAT@home, dell'Istituto delle Analisi dei Sistemi dell'Accademia Russa delle Scienze, risolve importanti problemi difficili e pratici (funzioni discrete di inversione dei problemi, ottimizzazioni discrete, bioinformatica, ecc...) che possono essere effettivamente ridotti a problemi booleani di soddisfacibilità.
