Handling Infinitely Branching WSTS.

Michael Blondin Alain Finkel Pierre McKenzie

Published in: ICALP (2) (2014)

Keyphrases

finite number
branch and bound
database systems
domain knowledge
data sets
machine learning
similarity measure
cooperative
probabilistic model