B-Minimality.

Raf Cluckers François Loeser

Published in: J. Math. Log. (2007)

Keyphrases

partial order
belief change
qualitative temporal reasoning
machine learning
case study
search algorithm
search space
graphical models
branch bound