Efficient Solution of a Class of Quantified Constraints with Quantifier Prefix Exists-Forall.
Milan HladíkStefan RatschanPublished in: Math. Comput. Sci. (2014)
Keyphrases
- solution exists
- data structure
- linear equations
- constrained minimization
- efficient solutions
- integer programming
- mixed integer
- exact solution
- constraint satisfaction
- class labels
- integrity constraints
- data sets
- partial solutions
- efficient learning
- computationally efficient
- evolutionary algorithm
- search algorithm
- optimal solution