TY  - RPRT
TI  - Efficient Solution of a Class of Quantified Constraints with Quantifier Prefix Exists-Forall
AU  - Milan Hladík
AU  - Stefan Ratschan
PY  - 2014
UR  - https://arxiv.org/abs/1312.6155
ID  - 1312.6155
ER  -