NP-SPEC: An Executable Specification Language for Solving All Problems in NP.

Marco Cadoli, Luigi Palopoli, Andrea Schaerf, Domenico Vasile

Browse the full PADL paper archive.