Don't have Telegram yet? Try it now!
https://hgpu.org/?p=12925
GAIN: GPU-based Constraint Checking for Context Consistency