Bünz, Benedikt
- Learning a SAT Solver from Single-Bit Supervision
2018/02/11 by Daniel Selsam, Selsam, Daniel, Matthew Lamm +9 · 1 voice · 62 citations
Computer Science · Decision Sciences · #Constraint Satisfaction and Optimization #Software Engineering Research #Auction Theory and Applications