Login / Signup
Fast SSP Solvers Using Short-Sighted Labeling.
Luis Enrique Pineda
Kyle Hollins Wray
Shlomo Zilberstein
Published in:
AAAI (2017)
Keyphrases
</>
active learning
decision trees
unsupervised learning
real time
data mining
sat solvers
numerically stable
quantified boolean formulas
information retrieval
label propagation