TY  - BOOK
A1  - Enrico Giunchiglia, Armando Tacchella )eds.(
TI  - Theory and applications of satisfiability testing : 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers
PB  - کتابخانه پژوهشگاه دانشهای بنیادی
SN  - 101386869
UR  /book/101386869/Theory-and-applications-of-satisfiability-testing/
ER  -