C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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