Sign in

Symbolic Computation Techniques in Satisfiability Checking.

Erika Ábrahám
Published in: SYNASC (2016)
Keyphrases
  • automated deduction
  • imperative programs
  • context aware
  • ambient intelligence