SAT 2015: 18TH INTERNATIONAL CONFERENCE ON THEORY AND APPLICATIONS OF SATISFIABILITY TESTING
Panagiotis Manolios
Organization: Northeastern University
Web site: http://www.ccs.neu.edu/home/pete/
Pages in this Program
ACL2-2015 on Friday, October 2nd
ACL2-2015 Program
Program
PROGRAM COMMITTEE
Program for Friday, October 2nd