Interian, Yannet

1 publications

IJCAI 2005 A Model for Generating Random Quantified Boolean Formulas Hubie Chen, Yannet Interian