Quantified Linear Arithmetic Satisfiability via Fine-Grained Strategy Improvement.

Charlie Murphy Zachary Kincaid

Published in: CAV (1) (2024)

Keyphrases

fine grained
coarse grained
access control
satisfiability problem
massively parallel
high level
computational complexity
np complete
stereo matching
phase transition
tightly coupled