FPGA Based Satisfiability Checking

FPGA Based Satisfiability Checking

Bibliographic Details
Main Author: Subramanian, Rishi Bharadwaj
Language:English
Published: University of Cincinnati / OhioLINK 2020
Subjects:
Electrical Engineering
FPGA Based SAT Solver
Boolean Satisfiability
Local Search Algorithm
SAT Solver
Online Access:http://rave.ohiolink.edu/etdc/view?acc_num=ucin1583154848438753

Internet

http://rave.ohiolink.edu/etdc/view?acc_num=ucin1583154848438753

Similar Items