Solving MAXSAT by Decoupling Optimization and Satisfaction

By Jessica Davies. 2014

36 citations recorded by the source corpus.