Results 241 to 250 of about 138,192 (261)
Some of the next articles are maybe not open access.
Anti-SAT: Mitigating SAT Attack on Logic Locking
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2019, Ankur Srivastava
exaly
A comprehensive study and analysis on SAT-solvers: advances, usages and achievements
Artificial Intelligence Review, 2018Raed Mesleh +2 more
exaly
Hardware accelerated SAT solvers—A survey
Journal of Parallel and Distributed Computing, 2017Mohamed W Hassan +2 more
exaly

