Randomised enumeration of small witnesses using a decision oracle.

Published in: CoRR (2015)

Keyphrases

decision making
search space
decision rules
decision makers
database
data sets
search algorithm
decision problems
search procedure
dynamic programming
management system
small number
open source
decision model
database security