activity
20172025
most citedSATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver

43 citations · 114 across the 8 of their papers we have counts for

collaborators
Showing cs.SIShow all

4 papers · 1 filter