LISSA: Lazy Initialization with Specialized Solver Aid.

Juan Manuel Copia Pablo Ponzio Nazareno Aguirre Alessandra Gorla Marcelo F. Frias

Published in: ASE (2022)

Keyphrases

general purpose
artificial intelligence
k means
databases
information retrieval
search engine
decision trees
data structure
classification accuracy
initial conditions
boolean formula
quantified boolean formulas