Daniel Kroening - POPL 2016

Registered user since Fri 9 Jun 2017

Name: Daniel Kroening

Affiliation: University of Oxford

Personal website: http://www.kroening.com/

Contributions

VMCAI	Automatic Generation of Propagation Complete SAT Encodings
POPL 2016	ERC member in External Reviewing Committee within the Research Papers-track ERC member in External Reviewing Committee
Show activities from other conferences