A B C D E F G H I-J K L M N-O P Q-R S T-V W X-Z
close this section of the libraryA. Tacchella
View the documentA. Tacchella Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas - E. Giunchiglia, M. Narizzano and A. Tacchella