Resource-Constrained Heuristic for Max-SAT

Open in new window