Evaluating and certifying QBFs: A comparison of state-of-the-art tools.

Massimo Narizzano Claudia Peschiera Luca Pulina Armando Tacchella

Published in: AI Commun. (2009)

Keyphrases

software tools
user friendly
neural network
data mining
database
databases
machine learning
case study
object oriented
decision support
temporal logic
quantified boolean formulas