Author:
Laitinen Tero,Junttila Tommi,Niemela Ilkka
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Chapter 26. Approximate Model Counting;Frontiers in Artificial Intelligence and Applications;2021-02-02
2. A SAT-Based Approach for Index Calculus on Binary Elliptic Curves;Progress in Cryptology - AFRICACRYPT 2020;2020
3. Sorting Parity Encodings by Reusing Variables;Theory and Applications of Satisfiability Testing – SAT 2020;2020
4. Tree-Based Logic Encryption for Resisting SAT Attack;2017 IEEE 26th Asian Test Symposium (ATS);2017-11
5. On SAT Representations of XOR Constraints;Language and Automata Theory and Applications;2014