TY  - RPRT
TI  - Lifting CDCL to Template-based Abstract Domains for Program Verification
AU  - Rajdeep Mukherjee
AU  - Peter Schrammel
AU  - Leopold Haller
AU  - Daniel Kroening
AU  - Tom Melham
PY  - 2017
UR  - https://arxiv.org/abs/1707.02011
ID  - 1707.02011
ER  -