March_dl: Adding Adaptive Heuristics and a New Branching Strategy.

Marijn Heule Hans van Maaren

Published in: J. Satisf. Boolean Model. Comput. (2006)

Keyphrases

adaptive strategies
description logics
real time
search strategies
knowledge base
branch and bound
neural network
data driven
heuristic methods
case study
knowledge representation
selection strategies
variable ordering