Login / Signup
Variant-based satisfiability in initial algebras.
José Meseguer
Published in:
Sci. Comput. Program. (2018)
Keyphrases
</>
satisfiability problem
np complete
real time
propositional logic
data sets
machine learning
social networks
knowledge base
decision trees
computational complexity
temporal reasoning
computational properties