SMTBCF: Efficient Backbone Computing for SMT Formulas.

Yueling Zhang Geguang Pu Min Zhang

Published in: ICFEM (2019)

Keyphrases

computationally expensive
data sets
neural network
artificial intelligence
real time
real world
clustering algorithm
bayesian networks
data structure
evolutionary algorithm