Results 271 to 280 of about 1,698,061 (303)
Some of the next articles are maybe not open access.
PySAT: A Python Toolkit for Prototyping with SAT Oracles
International Conference on Theory and Applications of Satisfiability Testing, 2018Alexey Ignatiev +2 more
semanticscholar +1 more source
SARLock: SAT attack resistant logic locking
IEEE International Symposium on Hardware Oriented Security and Trust, 2016Muhammad Yasin +3 more
semanticscholar +1 more source
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
CycSAT: SAT-based attack on cyclic logic encryptions
2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 2017H. Zhou, Ruifeng Jiang, Shuyu Kong
semanticscholar +1 more source
Mitigating SAT Attack on Logic Locking
Workshop on Cryptographic Hardware and Embedded Systems, 2016Yang Xie, Ankur Srivastava
semanticscholar +1 more source