Microsoft, Redmond, WA 98052
Saeed Amizadeh, Sergiy Matusevych, Markus Weimer
Neuro-Symbolic Methods;Circuit Satisfiability;Neural SAT Solver;Graph Neural Networks
Learning To Solve Circuit-SAT: An Unsupervised Differentiable Approach