Symbolic computation and satisfiability checking.

James H. Davenport Matthew England Alberto Griggio Thomas Sturm Cesare Tinelli

Published in: J. Symb. Comput. (2020)

Keyphrases

imperative programs
automated deduction
general purpose
bayesian networks
linear programming
context aware