Inproceedings,
An FPGA Solver for Very Large SAT Problems.
K. Kanazawa, and T. Maruyama.FPL, page 493-496. IEEE, (2007)
Meta data
- BibTeX key
- conf/fpl/KanazawaM07
- entry type
- inproceedings
- booktitle
- FPL
- year
- 2007
- pages
- 493-496
- publisher
- IEEE
- crossref
- conf/fpl/2007
- ee
- https://doi.org/10.1109/FPL.2007.4380697
- isbn
- 1-4244-1060-6
- url
- http://dblp.uni-trier.de/db/conf/fpl/fpl2007.html#KanazawaM07
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/fpl/KanazawaM07
%A Kanazawa, Kenji
%A Maruyama, Tsutomu
%B FPL
%D 2007
%E Bertels, Koen
%E Najjar, Walid A.
%E van Genderen, Arjan J.
%E Vassiliadis, Stamatis
%I IEEE
%K dblp
%P 493-496
%T An FPGA Solver for Very Large SAT Problems.
%U http://dblp.uni-trier.de/db/conf/fpl/fpl2007.html#KanazawaM07
%@ 1-4244-1060-6
@inproceedings{conf/fpl/KanazawaM07,
added-at = {2017-05-21T00:00:00.000+0200},
author = {Kanazawa, Kenji and Maruyama, Tsutomu},
biburl = {https://www.bibsonomy.org/bibtex/2c1649038ef9eaae4cae4ce7c41b81d2a/dblp},
booktitle = {FPL},
crossref = {conf/fpl/2007},
editor = {Bertels, Koen and Najjar, Walid A. and van Genderen, Arjan J. and Vassiliadis, Stamatis},
ee = {https://doi.org/10.1109/FPL.2007.4380697},
interhash = {f77bec9205a2426dfe3afe3d2ece7b9f},
intrahash = {c1649038ef9eaae4cae4ce7c41b81d2a},
isbn = {1-4244-1060-6},
keywords = {dblp},
pages = {493-496},
publisher = {IEEE},
timestamp = {2019-10-17T19:13:04.000+0200},
title = {An FPGA Solver for Very Large SAT Problems.},
url = {http://dblp.uni-trier.de/db/conf/fpl/fpl2007.html#KanazawaM07},
year = 2007
}