Login / Signup
MCSat-Based Finite Field Reasoning in the Yices2 SMT Solver (Short Paper).
Thomas Hader
Daniela Kaufmann
Ahmed Irfan
Stéphane Graham-Lengrand
Laura Kovács
Published in:
IJCAR (1) (2024)
Keyphrases
</>
knowledge base
finite number
graduate students
modulo theories
information retrieval
knowledge representation
reasoning tasks
artificial intelligence
multi agent
probabilistic reasoning
spatial reasoning
qualitative reasoning
uncertain information
reasoning systems
analogical reasoning
model based reasoning