Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
11 |
Material Type: Artigo
|
Using sequential runtime distributions for the parallel speedup prediction of SAT local searchARBELAEZ, ALEJANDRO ; TRUCHET, CHARLOTTE ; CODOGNET, PHILIPPETheory and practice of logic programming, 2013-07, Vol.13 (4-5), p.625-639 [Periódico revisado por pares]Cambridge, UK: Cambridge University PressTexto completo disponível |