Sign in

Deciding Univariate Polynomial Problems Using Untrusted Certificates in Isabelle/HOL.

Wenda LiGrant Olney PassmoreLawrence C. Paulson
Published in: J. Autom. Reason. (2019)
Keyphrases
  • theorem prover
  • np complete
  • access control
  • neural network
  • solving problems
  • databases
  • decision making
  • optimization problems
  • third party
  • boolean functions
  • natural deduction