(2004). Theory and applications of satisfiability testing: 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers / Enrico Giunchiglia, Armando Tacchella (eds.).
शिकागो शैली (17वां संस्करण) प्रशस्ति पत्रTheory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : Selected Revised Papers / Enrico Giunchiglia, Armando Tacchella (eds.). 2004.
एमएलए (9वां संस्करण) प्रशस्ति पत्रTheory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : Selected Revised Papers / Enrico Giunchiglia, Armando Tacchella (eds.). 2004.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.