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

Hossein M. Sheini Karem A. Sakallah

Published in: CPAIOR (2005)

Keyphrases

decision problems
integer arithmetic
solving problems
linear systems
optimization problems
decision making
np complete
decision rules
search methods
decision variables