Login / Signup

Stable Models of Elliptic Curves, Ring Class Fields, and Complex Multiplication.

Jordi GuàrdiaEugenia TorresMontserrat Vela
Published in: ANTS (2004)
Keyphrases
  • stable models
  • logic programs
  • elliptic curve
  • logic programming
  • logic programs with negation
  • normal logic programs
  • stable model semantics
  • machine learning
  • background knowledge
  • public key cryptosystems