Constructive Modalities with Provability Smack.

Published in: CoRR (2017)

Keyphrases

data mining
pairwise
open shop scheduling
artificial intelligence
social networks
decision making
training data
high quality
search algorithm
lower bound