Sign in

Symbolic computation and satisfiability checking.

James H. DavenportMatthew EnglandAlberto GriggioThomas SturmCesare Tinelli
Published in: J. Symb. Comput. (2020)
Keyphrases
  • imperative programs
  • automated deduction
  • general purpose
  • bayesian networks
  • linear programming
  • context aware