Relieving capacity limits on FPGA−based SAT−solvers

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς: Haller, L, Singh, S
Μορφή: Conference item
Έκδοση: 2010