Enhancing Top-Down Solving with Widening and Narrowing.

Kalmer Apinis Helmut Seidl Vesal Vojdani

Published in: Semantics, Logics, and Calculi (2016)

Keyphrases

real world
data mining
artificial intelligence
case study
data structure
relational databases