An Experimental Evaluation of Max-SAT and PB Solvers on Over-Subscription Planning Problems.

Marco Maratea

Browse the full CPAIOR paper archive.