1. SAT and SMT Solvers: A foundational perspective;Ganesh V;Engineering Secure and Dependable Software Systems,2019
2. HülleR FierPandSchmidtJ “PBO‐based fault selection for compact test generation” 7th Prague Embedded Systems Workshop https://pesw.fit.cvut.cz/2019/index.php?page=Program 2019‐6‐27
3. SAT‐based equivalence checking of threshold logic designs for nanotechnologies;Zheng Y;Proceedings of the 18th ACM Great Lakes Symposium on VLSI,2008
4. Attacking Bivium using SAT solvers;Eibach T;International Conference on Theory and Applications of Satisfiability Testing,2008