CUD@SAT: GPU parallelism for SAT Solving / DAL PALU', Alessandro; Agostino, Dovier; Andrea, Formisano; Enrico, Pontelli. - (2012). (Intervento presentato al convegno 19th RCRA International Workshop on "Experimental Evaluation of Algorithms for solving problems with combinatorial explosion" tenutosi a Rome, Italy nel 14-15 June 2012).
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.