THEORY AND APPLICATIONS OF SATISFIABILITY TESTING 7th INTERNATIONAL CONFERENCE
SAT 20042005 年出版393 页ISBN：
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING 8th INTERNATIONAL CONFERENCE
SAT 20052005 年出版494 页ISBN：
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING 6th INTERNATIONAL CONFERENCE
SAT 20032004 年出版530 页ISBN：3540208518
HUMAN TUMOUR DRUG SENSITIVITY TESTING IN VITRO TECHNIQUES AND CLINICAL APPLICATIONS
PHILIP P.DENDY AND BRIDGET T.HILL1983 年出版333 页ISBN：0122098609
testing and measurement techniques and applications proceedings of the 2015 international conference
16-17 january 2015thai 年出版0 页ISBN：
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING-SAT 2007 10th INTERNATIONAL CONFERENCE
2007 年出版384 页ISBN：9783540727873
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING-SAT 2006 9th INTERNATIONAL CONFERENCE
ARMIN BIERE2006 年出版438 页ISBN：
