An FPGA-based Stochastic SAT Solver Leveraging Inter-Variable Dependencies

論文・著書情報

タイトル

和文:
英文:	An FPGA-based Stochastic SAT Solver Leveraging Inter-Variable Dependencies

著者

和文:	NGUYENH NGOC ANH, 原祐子.
英文:	Anh Nguyen, Yuko Hara-Azumi.

言語

English

掲載誌/書名

和文:
英文:

巻, 号, ページ

出版年月

2021年9月

出版者

和文:
英文:

会議名称

和文:
英文:	International Conference on Field-Programmable Logic and Applications (FPL)

開催地

和文:
英文: