NP Satisfiability for Arrays as Powers.

Rodrigo Raya, Viktor Kuncak

Browse the full VMCAI paper archive.