Pseudo-constant logic optimization.

Aaron Landy Greg Stitt

Published in: ASAP (2013)

Keyphrases

optimization algorithm
global optimization
optimization problems
optimization process
constrained optimization
logic programming
optimization method
set theory
bayesian networks
convex optimization
optimization model
discrete optimization
optimization strategies
proof theory