Term equation Satisfiability over Finite Algebras.

Tomasz A. Gorazd Jacek Krzaczkowski

Published in: Int. J. Algebra Comput. (2010)

Keyphrases

satisfiability problem
np complete
computational complexity
differential equations
propositional logic
temporal logic
regularization term
knowledge base
mathematical model
phase transition
finite number
velocity field
numerical solution