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:
Main Authors: | , , |
---|---|
Other Authors: | |
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 |