SAT 2015: 18TH INTERNATIONAL CONFERENCE ON THEORY AND APPLICATIONS OF SATISFIABILITY TESTING
Holger Hoos
Organization: University of British Columbia
Web site: http://www.cs.ubc.ca/~hoos/
Pages in this Program
PROGRAM COMMITTEE