SAT 2015: 18TH INTERNATIONAL CONFERENCE ON THEORY AND APPLICATIONS OF SATISFIABILITY TESTING
Leonardo de Moura
Organization: Microsoft Research
Web site: http://research.microsoft.com/~leonardo
Pages in this Program
PROGRAM COMMITTEE