A survey on applications of quantified boolean formulas