DC-SSAT: A Divide-and-Conquer Approach to Solving Stochastic Satisfiability Problems Efficiently.

Stephen M. Majercik, Byron Boots

Browse the full AAAI paper archive.