Satisfiability-Based Algorithms for Pseudo-Boolean Optimization Using Gomory Cuts and Search Restarts.

Vasco M. Manquinho, Joo Marques-Silva

Browse the full ICTAI paper archive.