Accelerating lemma learning using joins - DPLL(⊔). Bjørner, N., Dutertre, B., & 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
{"_id":"SjGNMxCePsGiCg7ke","bibbaseid":"bjrner-dutertre-moura-acceleratinglemmalearningusingjoinsdpll","authorIDs":[],"author_short":["Bjørner, N.","Dutertre, B.","Moura, L. d."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Bjørner"],"firstnames":["Nikolaj"],"suffixes":[]},{"propositions":[],"lastnames":["Dutertre"],"firstnames":["Bruno"],"suffixes":[]},{"propositions":[],"lastnames":["Moura"],"firstnames":["Leonardo","de"],"suffixes":[]}],"title":"Accelerating lemma learning using joins - DPLL(⊔)","journal":"","volume":"","number":"","pages":"","year":"","abstract":"","location":"","keywords":"","bibtex":"@Article{Bjorner,\nauthor = {Bjørner, Nikolaj and Dutertre, Bruno and Moura, Leonardo de}, \ntitle = {Accelerating lemma learning using joins - DPLL(⊔)}, \njournal = {}, \nvolume = {}, \nnumber = {}, \npages = {}, \nyear = {}, \nabstract = {}, \nlocation = {}, \nkeywords = {}}\n\n\n","author_short":["Bjørner, N.","Dutertre, B.","Moura, L. d."],"key":"Bjorner","id":"Bjorner","bibbaseid":"bjrner-dutertre-moura-acceleratinglemmalearningusingjoinsdpll","role":"author","urls":{},"downloads":0},"bibtype":"article","biburl":"https://gist.githubusercontent.com/stuhlmueller/a37ef2ef4f378ebcb73d249fe0f8377a/raw/6f96f6f779501bd9482896af3e4db4de88c35079/references.bib","creationDate":"2020-01-27T02:13:34.863Z","downloads":0,"keywords":[],"search_terms":["accelerating","lemma","learning","using","joins","dpll","bjørner","dutertre","moura"],"title":"Accelerating lemma learning using joins - DPLL(⊔)","year":null,"dataSources":["hEoKh4ygEAWbAZ5iy"]}