Gupta, Manish and Kalhotra, Satish Kumar and Reddy Gantla, Harish and Arora, Gaurav Kumar and Vaishnodevi, S. and Yashwanth Reddy, Algubelly (2023) Role of Machine Learning for Solving Satisfiability Problems and its Applications in Cryptanalysis. In: UNSPECIFIED.