Satisfiability Modulo Finite Fields.

Alex Ozdemir Gereon Kremer Cesare Tinelli Clark W. Barrett

Published in: IACR Cryptol. ePrint Arch. (2023)

Keyphrases

satisfiability problem
application fields
computer vision
np complete
propositional logic
artificial intelligence
computational complexity
phase transition
finite number
neural network
machine learning
website
computational properties
unit length