Abstract conflict driven learning.

Vijay Victor D'Silva, Leopold Haller, Daniel Kroening

Browse the full POPL paper archive.