firstbacksecondback
2 Results
|
Poster
|
Tue 14:30 |
Learning To Solve Circuit-SAT: An Unsupervised Differentiable Approach Saeed Amizadeh · Sergiy Matusevych · Markus Weimer |
|
|
Poster
|
Tue 9:00 |
Learning a SAT Solver from Single-Bit Supervision Daniel Selsam · Matthew Lamm · Benedikt B\"{u}nz · Percy Liang · Leonardo Moura · David L Dill |