PASCAL - Pattern Analysis, Statistical Modelling and Computational Learning

A Model for Generating Random Quantified Boolean Formulas
Hubert Ming Chen and Yannet Interian
Nineteenth International Joint Conference on Artificial Intelligence (IJCAI) 2005.

Abstract

.

EPrint Type:Article
Project Keyword:Project Keyword UNSPECIFIED
Subjects:Theory & Algorithms
ID Code:1554
Deposited By:Hubert Ming Chen
Deposited On:28 November 2005