Funder
Japan Society for the Promotion of Science
Precursory Research for Embryonic Science and Technology
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
General Engineering,General Materials Science,General Computer Science
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. FYalSAT: High-Throughput Stochastic Local Search K-SAT Solver on FPGA;IEEE Access;2024
2. Efficient FPGA Implementation of Amoeba-inspired SAT Solver with Feedback and Bounceback Control: Harnessing Variable-Level Parallelism for Large-Scale Problem Solving in Edge Computing;Proceedings of the 13th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies;2023-06-14
3. Hardware SAT Solver-based Area-efficient Accelerator for Autonomous Driving;2022 International Conference on Field-Programmable Technology (ICFPT);2022-12-05
4. Multi-board FPGA Implementation to Solve the Satisfiability Problem for Multi-Agent Path Finding in Smart Factory;2022 Tenth International Symposium on Computing and Networking Workshops (CANDARW);2022-11
5. P4-DPLL;Proceedings of the ACM SIGCOMM Workshop on Formal Foundations and Security of Programmable Network Infrastructures;2022-08-22