Hubie Chen Yannet Interian A Model for Generating Random Quantified Boolean Formulas. 66-71 2005 conf/ijcai/2005 IJCAI http://www.ijcai.org/papers/0633.pdf db/conf/ijcai/ijcai2005.html#ChenI05