Karp: a language for NP reductions.

Chenhao Zhang, Jason D. Hartline, Christos Dimoulas

Browse the full PLDI paper archive.