"Amoeba-Inspired Hardware SAT Solver with Effective Feedback Control."

Anh Hoang Ngoc Nguyen, Masashi Aono, Yuko Hara-Azumi (2019)

Details and statistics

DOI: 10.1109/ICFPT47387.2019.00038

access: closed

type: Conference or Workshop Paper

metadata version: 2020-02-17

a service of  Schloss Dagstuhl - Leibniz Center for Informatics