Symbolic Computation Techniques in Satisfiability Checking.

Erika Ábrahám

Published in: SYNASC (2016)

Keyphrases

automated deduction
imperative programs
context aware
ambient intelligence