Results 241 to 250 of about 137,934 (261)
Some of the next articles are maybe not open access.
A comprehensive study and analysis on SAT-solvers: advances, usages and achievements
Artificial Intelligence Review, 2018Sahel Alouneh +2 more
exaly
Anti-SAT: Mitigating SAT Attack on Logic Locking
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2019, Ankur Srivastava
exaly
SAT and ACT predict college GPA after removing g
Intelligence, 2008Thomas R Coyle, David R Pillow
exaly
Hardware accelerated SAT solvers—A survey
Journal of Parallel and Distributed Computing, 2017Ali Asgar Sohanghpurwala +2 more
exaly

