Conflict-Driven Conditional Termination.

Vijay D'Silva Caterina Urban

Published in: CAV (2) (2015)

Keyphrases

data driven
conflict resolution
term rewriting
search algorithm
conditional probabilities
random field model
resolving conflicts
term rewrite systems
information retrieval
data structure
artificial neural networks
least squares
conditional logic
rewrite systems