Gaya APA

Theory and Applications of Satisfiability Testing. (). : .

Gaya MLA

Theory and Applications of Satisfiability Testing. 1st ed. 2005.. : , . E Book.