(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.).
Chicago Style (17th ed.) CitationTheory 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.
MLA (9th ed.) CitationTheory 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.
Warning: These citations may not always be 100% accurate.