Exploiting Inference Rules to Compute Lower Bounds for MAX-SAT Solving.

Han Lin, Kaile Su

Browse the full IJCAI paper archive.