Comprehensive Score: Towards Efficient Local Search for SAT with Long Clauses.

Shaowei Cai, Kaile Su

Browse the full IJCAI paper archive.