SAT 2015: 18TH INTERNATIONAL CONFERENCE ON THEORY AND APPLICATIONS OF SATISFIABILITY TESTING
John O'Leary
Organization: Intel Corporation
Web site: http://www.intel.com/technology/techresearch/people/bios/oleary_j.htm
Pages in this Program
ACL2-2015 on Friday, October 2nd
ACL2-2015 Program
Program
Program for Friday, October 2nd