Minimal Models for 2-coverings of Elliptic Curves.
Michael StollJohn CremonaPublished in: LMS J. Comput. Math. (2002)
Keyphrases
- minimal models
- elliptic curve
- propositional logic
- logic programs
- nonmonotonic reasoning
- autoepistemic logic
- rough sets
- default logic
- efficient computation
- key management
- belief revision
- logic programming
- stable models
- truth maintenance systems
- fixpoint
- knowledge base
- power analysis
- resource constrained
- default reasoning
- answer set programming
- database systems