Implementing CSAT local search on FPGAs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Saved in:
Bibliographic Details
Main Authors: Henz, M., Tan, E., Yap, R.H.C.
Other Authors: COMPUTER SCIENCE
Format: Conference or Workshop Item
Published: 2013
Online Access:http://scholarbank.nus.edu.sg/handle/10635/40787
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
id sg-nus-scholar.10635-40787
record_format dspace
spelling sg-nus-scholar.10635-407872015-01-06T17:34:21Z Implementing CSAT local search on FPGAs Henz, M. Tan, E. Yap, R.H.C. COMPUTER SCIENCE Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2438 LNCS 1156-1159 2013-07-04T08:12:20Z 2013-07-04T08:12:20Z 2002 Conference Paper Henz, M.,Tan, E.,Yap, R.H.C. (2002). Implementing CSAT local search on FPGAs. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2438 LNCS : 1156-1159. ScholarBank@NUS Repository. 3540441085 03029743 http://scholarbank.nus.edu.sg/handle/10635/40787 NOT_IN_WOS Scopus
institution National University of Singapore
building NUS Library
country Singapore
collection ScholarBank@NUS
description Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
author2 COMPUTER SCIENCE
author_facet COMPUTER SCIENCE
Henz, M.
Tan, E.
Yap, R.H.C.
format Conference or Workshop Item
author Henz, M.
Tan, E.
Yap, R.H.C.
spellingShingle Henz, M.
Tan, E.
Yap, R.H.C.
Implementing CSAT local search on FPGAs
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
publishDate 2013
url http://scholarbank.nus.edu.sg/handle/10635/40787
_version_ 1681082327983194112