NP Decision Procedure for Monomial and Linear Integer Constraints.
Rodrigo RayaJad HamzaViktor KuncakPublished in: CoRR (2022)
Keyphrases
- integer arithmetic
- decision variables
- linear constraints
- decision making
- np complete
- decision trees
- neural network
- linear inequalities
- objective function
- computational complexity
- closed form solutions
- sensitivity analysis
- equality constraints
- iterative procedure
- constraint satisfaction
- decision rules
- decision process
- closed form
- constraint satisfaction problems
- decision makers
- simulated annealing