Re:Modern SAT solvers: fast, neat and underused
by nl on Sunday May 19, 2019 @11:23PM
(#19957306)
We propose Differentiable Satisfiability and Differentiable Answer Set Programming (Differentiable SAT/ASP) for multi-model optimization. Models (answer sets or satisfying truth assignments) are sampled using a novel SAT/ASP solving approach which uses a gradient descent-based branching mechanism.
https://arxiv.org/abs/1812.11948