A Survey on Applications of Quantified Boolean Formulas | IEEE Conference Publication | IEEE Xplore