Accelerating lemma learning using joins - DPLL(⊔). Bjørner, N.; Dutertre, B.; and Moura, L. d. .
bibtex   
@Article{Bjorner,
author = {Bjørner, Nikolaj and Dutertre, Bruno and Moura, Leonardo de}, 
title = {Accelerating lemma learning using joins - DPLL(⊔)}, 
journal = {}, 
volume = {}, 
number = {}, 
pages = {}, 
year = {}, 
abstract = {}, 
location = {}, 
keywords = {}}
Downloads: 0