1. Machine Learning Methods in Solving the Boolean Satisfiability Problem;Machine Intelligence Research;2023-06-01
2. Comparison of encodings and optimization of parameters of SAT-solver in graph coloring problem;Proceedings of Academician O.B. Lupanov 14th International Scientific Seminar "Discrete Mathematics and Its Applications";2022
3. Chapter 2. CNF Encodings;Frontiers in Artificial Intelligence and Applications;2021-02-02
4. Grid-Based Framework for Routability Analysis and Diagnosis With Conditional Design Rules;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2020-12
5. ROAD;Proceedings of the 2019 International Symposium on Physical Design;2019-04-04