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

Marco Cadoli Luigi Palopoli Andrea Schaerf Domenico Vasile

Published in: PADL (1999)

Keyphrases

specification language
np complete
solving problems
formal specification
optimization problems
description language
np hard
cooperative
computational complexity
programming language
open source
solving complex
combinatorial optimization
sparse linear systems