Satisfiability of Linear Time Mu-Calculus on Finite Traces.

Yao Liu Zhenhua Duan Cong Tian Bin Cui

Published in: COCOON (2016)

Keyphrases

satisfiability problem
propositional logic
np complete
computational complexity
real numbers
phase transition
finite number
database
worst case
computer algebra
neural network
provably correct
quantified boolean formulas
satisfiability testing