Results 241 to 250 of about 1,605,280 (279)
Some of the next articles are maybe not open access.
High selectivity detection of FMDV- SAT-2 using a newly-developed electrochemical nanosensors
Biosensors and Bioelectronics, 2021Heba Ahmed Hussein +2 more
exaly
Generalized SAT-Attack-Resistant Logic Locking
IEEE Transactions on Information Forensics and Security, 2021Jingbo Zhou, Xinmiao Zhang
exaly
Natural Max-SAT Encoding of Min-SAT
2012We show that there exists a natural encoding which transforms Min-SAT instances into Max-SAT instances. Unlike previous encodings, this natural encoding keeps the same variables, and the optimal assignment for the Min-SAT instance is identical to the optimal assignment of the corresponding Max-SAT instance.
openaire +1 more source