1. FPGA-based Hardware/Software Co-design of a Bio-inspired SAT Solver;A H N Nguyen;IEEE Access,2020
2. Efficient Data Structures and Methodologies for SAT-Based ATPG Providing High Fault Coverage in Industrial Application;S Eggersgluss;IEEE Transactions on,2011
3. Model checking and abstraction;Clarke E;Acm Transactions on Programming Languages & Systems,1994
4. Efficient sat approach to multi-agent path finding under the sum of costs objective;P Surynek;Proceedings of the Twenty-second European Conference on Artificial Intelligence,2016
5. Real-time routing for wireless relay fron-thaul with vehicle-mounted radio units;Y Nakayama;2020 IEEE 91st Vehicular Technology Conference,2020