Ok so I actually haven't explored the SAT solver connection too much however my gut tells me that linear logic can solve the same thing however with better performance. I think that the fundamental difference is that SAT solvers aren't differentiable. SAT solvers are fundamentally stateful, whereas linear logic is very dynamic.