JANIKOVSKÝ, Filip et al. Experimental evaluation of SAT attack on logic locking. In CECC 2022 : 22nd Central European Conference on Cryptology. Smolenice, Slovakia. June 26 - 29, 2022. Bratislava : SAS, 2022, S. 46-49. ISBN 978-80-968374-6-5. E*e-222/2022