Satisfiability Modulo Exponential Integer Arithmetic.

Florian Frohn Jürgen Giesl

Published in: IJCAR (1) (2024)

Keyphrases

integer arithmetic
satisfiability problem
euclidean distance transform
computational complexity
np complete
phase transition
computer vision
nearest neighbor
path planning