Satisfiability and integer programming as complementary tools.

Ruiming Li, Dian Zhou, Donglei Du

Browse the full ASPDAC paper archive.