Login / Signup

MCSat-based Finite Field Reasoning in the Yices2 SMT Solver.

Thomas HaderDaniela KaufmannAhmed IrfanStéphane Graham-LengrandLaura Kovács
Published in: CoRR (2024)
Keyphrases
  • artificial intelligence
  • knowledge base
  • reasoning process
  • reasoning systems
  • statistical machine translation
  • knowledge representation
  • finite number
  • probabilistic reasoning
  • model based reasoning