Lifting CDCL to Template Based Abstract Domains for Program Verification

Rajdeep Mukherjee‚ Peter Schrammel‚ Leopold Haller‚ Daniel Kroening and Tom Melham