Relieving capacity limits on FPGA−based SAT−solvers

Detalhes bibliográficos
Main Authors: Haller, L, Singh, S
Formato: Conference item
Publicado em: 2010