Learning a SAT Solver from Single-Bit Supervision. Selsam, D., Lamm, M., Bünz, B., Liang, P., De Moura, L., & Dill, D. L , 2018. bibtex @Article{Selsam2018,
author = {Selsam, Daniel and Lamm, Matthew and Bünz, Benedikt and Liang, Percy and De Moura, Leonardo and Dill, David L},
title = {Learning a SAT Solver from Single-Bit Supervision},
journal = {},
volume = {},
number = {},
pages = {},
year = {2018},
abstract = {},
location = {},
keywords = {}}
Downloads: 0
{"_id":"Fm9NLvBeky97zJAXC","bibbaseid":"selsam-lamm-bnz-liang-demoura-dill-learningasatsolverfromsinglebitsupervision-2018","authorIDs":[],"author_short":["Selsam, D.","Lamm, M.","Bünz, B.","Liang, P.","De Moura, L.","Dill, D. L"],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Selsam"],"firstnames":["Daniel"],"suffixes":[]},{"propositions":[],"lastnames":["Lamm"],"firstnames":["Matthew"],"suffixes":[]},{"propositions":[],"lastnames":["Bünz"],"firstnames":["Benedikt"],"suffixes":[]},{"propositions":[],"lastnames":["Liang"],"firstnames":["Percy"],"suffixes":[]},{"propositions":[],"lastnames":["De","Moura"],"firstnames":["Leonardo"],"suffixes":[]},{"propositions":[],"lastnames":["Dill"],"firstnames":["David","L"],"suffixes":[]}],"title":"Learning a SAT Solver from Single-Bit Supervision","journal":"","volume":"","number":"","pages":"","year":"2018","abstract":"","location":"","keywords":"","bibtex":"@Article{Selsam2018,\nauthor = {Selsam, Daniel and Lamm, Matthew and Bünz, Benedikt and Liang, Percy and De Moura, Leonardo and Dill, David L}, \ntitle = {Learning a SAT Solver from Single-Bit Supervision}, \njournal = {}, \nvolume = {}, \nnumber = {}, \npages = {}, \nyear = {2018}, \nabstract = {}, \nlocation = {}, \nkeywords = {}}\n\n\n","author_short":["Selsam, D.","Lamm, M.","Bünz, B.","Liang, P.","De Moura, L.","Dill, D. L"],"key":"Selsam2018","id":"Selsam2018","bibbaseid":"selsam-lamm-bnz-liang-demoura-dill-learningasatsolverfromsinglebitsupervision-2018","role":"author","urls":{},"downloads":0},"bibtype":"article","biburl":"https://gist.githubusercontent.com/stuhlmueller/a37ef2ef4f378ebcb73d249fe0f8377a/raw/6f96f6f779501bd9482896af3e4db4de88c35079/references.bib","creationDate":"2020-01-27T02:13:33.967Z","downloads":0,"keywords":[],"search_terms":["learning","sat","solver","single","bit","supervision","selsam","lamm","bünz","liang","de moura","dill"],"title":"Learning a SAT Solver from Single-Bit Supervision","year":2018,"dataSources":["hEoKh4ygEAWbAZ5iy"]}