Title: | Abstract Conflict Driven Learning |
---|---|
Links: | Homepage Document as PDF |
Authors: | Vijay D'Silva |
Leopold Haller | |
Daniel Kroening EMail | |
Remarks: | |
Topics: |
Bibtex:
@inproceedings{dhk2013-popl, AUTHOR = { D'Silva, Vijay and Haller, Leopold and Kroening, Daniel }, TITLE = { Abstract Conflict Driven Learning }, BOOKTITLE = { Principles of Programming Languages (POPL) }, YEAR = { 2013 }, PUBLISHER = { ACM }, PAGES = { 143--154 }, ISBN = { 978-1-4503-1832-7 }, }
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.