Satisfiability Modulo Finite Fields.

Alex Ozdemir Gereon Kremer Cesare Tinelli Clark W. Barrett

Published in: CAV (2) (2023)

Keyphrases

satisfiability problem
finite number
databases
computer vision
computational complexity
np complete
propositional logic
unit length
machine learning
search engine
modal logic
decision procedures
real numbers