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:
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