Split Gröbner Bases for Satisfiability Modulo Finite Fields.

Alex Ozdemir Shankara Pailoor Alp Bassa Kostas Ferles Clark W. Barrett Isil Dillig

Published in: CAV (1) (2024)

Keyphrases

numerically stable
np complete
satisfiability problem
polynomial equations
computer vision
propositional logic
methods in computer vision
computational complexity
phase transition
numerical stability
algebraic equations
neural network
evolutionary algorithm
basis functions
transitive closure
decision procedures