CUD@SAT: GPU parallelism for SAT Solving / DAL PALU', Alessandro; Agostino, Dovier; Andrea, Formisano; Enrico, Pontelli. - (2012). ( 19th RCRA International Workshop on "Experimental Evaluation of Algorithms for solving problems with combinatorial explosion" Rome, Italy 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.


