Unified QBF certification and its applications.

Valeriy Balabanov Jie-Hong R. Jiang

Published in: Formal Methods Syst. Des. (2012)

Keyphrases

third party
quantified boolean formulas
unified model
data sets
neural network
artificial intelligence
data model