Improving MCS Enumeration via Caching.

Alessandro Previti Carlos Mencía Matti Järvisalo João Marques-Silva

Published in: SAT (2017)

Keyphrases

prefetching
data access
neural network
caching scheme
dynamic programming
database systems
clustering algorithm
real time
optimal solution
video sequences
digital libraries
search space
query processing
multi agent
multi class
access patterns
hit ratio