CUD@SAT: GPU parallelism for SAT Solving / DAL PALU', A., Agostino, D., Andrea, F., Enrico, P.. - (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.


