Implementing CSAT local search on FPGAs
10.1007/3-540-46117-5_130
Saved in:
Main Authors: | , , |
---|---|
Other Authors: | |
Format: | Conference or Workshop Item |
Published: |
SPRINGER-VERLAG BERLIN
2021
|
Subjects: | |
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 |
id |
sg-nus-scholar.10635-200925 |
---|---|
record_format |
dspace |
spelling |
sg-nus-scholar.10635-2009252024-04-17T08:49:03Z Implementing CSAT local search on FPGAs Henz, M Tan, E Yap, RHC DEPARTMENT OF COMPUTER SCIENCE Science & Technology Technology Computer Science, Theory & Methods Computer Science 10.1007/3-540-46117-5_130 12th International Conference on Field-Programmable Logic and Applications 2438 1156-1159 2021-09-27T03:02:40Z 2021-09-27T03:02:40Z 2002-01-01 2021-09-23T21:42:53Z Conference Paper Henz, M, Tan, E, Yap, RHC (2002-01-01). Implementing CSAT local search on FPGAs. 12th International Conference on Field-Programmable Logic and Applications 2438 : 1156-1159. ScholarBank@NUS Repository. https://doi.org/10.1007/3-540-46117-5_130 3540441085 9783540441083 03029743 16113349 https://scholarbank.nus.edu.sg/handle/10635/200925 SPRINGER-VERLAG BERLIN Elements |
institution |
National University of Singapore |
building |
NUS Library |
continent |
Asia |
country |
Singapore Singapore |
content_provider |
NUS Library |
collection |
ScholarBank@NUS |
topic |
Science & Technology Technology Computer Science, Theory & Methods Computer Science |
spellingShingle |
Science & Technology Technology Computer Science, Theory & Methods Computer Science Henz, M Tan, E Yap, RHC Implementing CSAT local search on FPGAs |
description |
10.1007/3-540-46117-5_130 |
author2 |
DEPARTMENT OF COMPUTER SCIENCE |
author_facet |
DEPARTMENT OF COMPUTER SCIENCE Henz, M Tan, E Yap, RHC |
format |
Conference or Workshop Item |
author |
Henz, M Tan, E Yap, RHC |
author_sort |
Henz, M |
title |
Implementing CSAT local search on FPGAs |
title_short |
Implementing CSAT local search on FPGAs |
title_full |
Implementing CSAT local search on FPGAs |
title_fullStr |
Implementing CSAT local search on FPGAs |
title_full_unstemmed |
Implementing CSAT local search on FPGAs |
title_sort |
implementing csat local search on fpgas |
publisher |
SPRINGER-VERLAG BERLIN |
publishDate |
2021 |
url |
https://scholarbank.nus.edu.sg/handle/10635/200925 |
_version_ |
1800915016467087360 |