Efficient Solution of a Class of Quantified Constraints with Quantifier Prefix Exists-Forall.

Milan Hladík Stefan Ratschan

Published in: CoRR (2013)

Keyphrases

solution exists
data structure
computationally efficient
optimal solution
linear equations
linear constraints
efficient learning
neural network
search algorithm
linear program
solution quality
constraint networks
exact solution
efficient solutions