Parity (XOR) Reasoning for the Index Calculus Attack.
Monika TrimoskaSorina IonicaGilles DequenPublished in: CP (2020)
Keyphrases
- proof procedure
- abstract argumentation
- automated reasoning
- index structure
- reasoning systems
- error correction
- database
- reasoning tasks
- automated theorem proving
- qualitative spatial reasoning
- computational properties
- knowledge base
- artificial intelligence
- reasoning process
- countermeasures
- cardinal directions
- indexing techniques
- knowledge representation
- spatial reasoning
- formal language