SharpSSAT: A Witness-Generating Stochastic Boolean Satisfiability Solver.

Yu-Wei Fan, Jie-Hong R. Jiang

Browse the full AAAI paper archive.