Results 241 to 250 of about 138,192 (261)
Some of the next articles are maybe not open access.

Development of two rapid lateral flow test strips for detection of foot-and-mouth disease virus SAT 1 and SAT 3

Journal of Virological Methods, 2021
Wanhong Xu   +2 more
exaly  

Solving SAT and SAT Modulo Theories

Journal of the ACM, 2006
Albert Oliveras   +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  

A comprehensive study and analysis on SAT-solvers: advances, usages and achievements

Artificial Intelligence Review, 2018
Raed Mesleh   +2 more
exaly  

Hardware accelerated SAT solvers—A survey

Journal of Parallel and Distributed Computing, 2017
Mohamed W Hassan   +2 more
exaly  

Home - About - Disclaimer - Privacy