TY  - BOOK
A1  -  Mikoláš Janota, Inês Lynce (eds.).
TI  - Theory and applications of satisfiability testing -- SAT 2019 :
PB  - مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی
SN  - 90229552
UR  /book/90229552/Theory-and-applications-of-satisfiability-testing/
ER  -