Learning a SAT Solver from Single-Bit Supervision - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Daniel Selsam, Matthew Lamm, Benedikt Bünz, Percy Liang, Leonardo de Moura, David L. Dill. Learning a SAT Solver from Single-Bit Supervision. In 7th International Conference on Learning Representations, ICLR 2019, New Orleans, LA, USA, May 6-9, 2019. OpenReview.net, 2019. [doi]

This author has not been identified. Look up 'Daniel Selsam' in GoogleThis author has not been identified. Look up 'Matthew Lamm' in GoogleThis author has not been identified. Look up 'Benedikt Bünz' in GoogleThis author has not been identified. Look up 'Percy Liang' in GoogleThis author has not been identified. Look up 'Leonardo de Moura' in GoogleThis author has not been identified. Look up 'David L. Dill' in Google

runs on WebDSL