A SAT-Based Decision Procedure for Mixed Logical/Integer Linear Problems.

Hossein M. Sheini, Karem A. Sakallah

Browse the full CPAIOR paper archive.