Lifting CDCL to Template-Based Abstract Domains for Program Verification. - Mukherjee, Rajdeep; Schrammel, Peter; Haller, Leopold; Kroening, Daniel; Melham, Tom (2017)