de Moura, Leonardo
- Learning a SAT Solver from Single-Bit Supervision
2018/02/11 by Daniel Selsam, Matthew Lamm, Selsam, Daniel +9 · 1 voice · 62 citations
Computer Science · Decision Sciences · #Constraint Satisfaction and Optimization #Software Engineering Research #Auction Theory and Applications
- Universal Policies for Software-Defined MDPs
2020/12/21 by Daniel Selsam, Jesse Michael Han, Selsam, Daniel +5 · 1 voice · 1 citation
Computer Science · #cs.AI #cs.PL
- Tabled Typeclass Resolution
2020/01/13 by Selsam, Daniel, Ullrich, Sebastian, de Moura, Leonardo · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)