مقاله «Evaluating CNFSMT Encodings for SAT-Based» که در ۲۲امین کنفرانس انجمن رمز ایران در مهرماه ۱۴۰۴ در دانشگاه شهید بهشتی ارائه شد. نویسندگان: Marzieh Vahid Dastjerdi, Majid Rahimi, Iman Mirzaali Mazandarani, and Sadegh Sadeghi

رمزنگاری,انجمن رمز ایران,کنفرانس انجمن رمز ایران