Three improvements to the top-down solver.

Helmut Seidl Ralf Vogler

Published in: Math. Struct. Comput. Sci. (2021)

Keyphrases

database
data mining
website
high level
bayesian networks
support vector
digital libraries
user interface
medical images
constraint solver
quantified boolean formulas