Combined Satisfiability Modulo Parametric Theories.

Sava Krstic Amit Goel Jim Grundy Cesare Tinelli

Published in: TACAS (2007)

Keyphrases

satisfiability problem
real time
np complete
theoretical framework
artificial intelligence
lower bound
propositional logic
terminological reasoning