Login / Signup
NP-SPEC: an executable specification language for solving all problems in NP.
Marco Cadoli
Giovambattista Ianni
Luigi Palopoli
Andrea Schaerf
Domenico Vasile
Published in:
Comput. Lang. (2000)
Keyphrases
</>
specification language
np complete
formal specification
solving problems
solving complex
programming language
artificial intelligence
np hard
combinatorial optimization
web services
computational complexity
general purpose
optimization problems
description language
sparse linear systems
xml documents