Implementing CSAT local search on FPGAs

Implementing CSAT local search on FPGAs

10.1007/3-540-46117-5_130

Saved in:
Bibliographic Details
Main Authors: Henz, M, Tan, E, Yap, RHC
Other Authors: DEPARTMENT OF COMPUTER SCIENCE
Format: Conference or Workshop Item
Published: SPRINGER-VERLAG BERLIN 2021
Subjects:
Science & Technology
Technology
Computer Science, Theory & Methods
Computer Science
Online Access:https://scholarbank.nus.edu.sg/handle/10635/200925
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
Description
Summary:10.1007/3-540-46117-5_130

Similar Items