A Simple yet Efficient MCSes Enumeration with SAT Oracles.

Miyuki Koshimura Ken Satoh

Published in: ACIIDS (1) (2020)

Keyphrases

real time
data sets
cost effective
database
data mining
information retrieval
data structure
computationally efficient
orders of magnitude
satisfiability problem