SAT 2015: 18TH INTERNATIONAL CONFERENCE ON THEORY AND APPLICATIONS OF SATISFIABILITY TESTING
Enrico Giunchiglia
Organization: DIST - Univ. Genova
Web site: http://www.star.dist.unige.it/~enrico/
Pages in this Program
PROGRAM COMMITTEE