Results 281 to 290 of about 1,698,061 (303)

Cyclic Obfuscation for Creating SAT-Unresolvable Circuits

ACM Great Lakes Symposium on VLSI, 2017
Kaveh Shamsi, Meng Li, Travis Meade, Zheng Zhao, D. Pan, Yier Jin   +5 more
semanticscholar   +1 more source

SAT

2001
Ch. Baerlocher, W.M. Meier, D.H. Olson
openaire   +1 more source

Security analysis of Anti-SAT

Asia and South Pacific Design Automation Conference, 2017
Muhammad Yasin, Bodhisatwa Mazumdar, O. Sinanoglu, Jeyavijayan Rajendran   +3 more
semanticscholar   +1 more source

“Sat cito si sat bene”

Notes and Queries
openaire   +2 more sources

Incremental Inprocessing in SAT Solving

International Conference on Theory and Applications of Satisfiability Testing, 2019
Katalin Fazekas, Armin Biere, Christoph Scholl   +2 more
semanticscholar   +1 more source

Sat

2018
openaire   +2 more sources

Sat

2022
openaire   +1 more source

Learning Rate Based Branching Heuristic for SAT Solvers

International Conference on Theory and Applications of Satisfiability Testing, 2016
J. Liang, Vijay Ganesh, P. Poupart, K. Czarnecki   +3 more
semanticscholar   +1 more source

SAT-based bit-flipping attack on logic encryptions

Design, Automation and Test in Europe, 2018
Yuanqi Shen, Amin Rezaei, H. Zhou
semanticscholar   +1 more source

Sunčani sat - sat matematike u dvorištu

2012
Nastava matematike izvan učionice učenicima je vrlo privlačna i zanimljiva. Nastavni sat postaje još zanimljiviji ako im pokažemo svrsishodnost ono što uče. Sunčani sat je objašnjen kao primjen atrigonometrije.
openaire   +1 more source