http://www.dis.uniroma1.it/~cadoli/research/projects/NP-SPEC/
NP-SPEC Project Home Page
Welcome to the Home page of the NP-SPEC Project at
Dipartimento
di Informatica e Sistemistica,
Università di Roma
``La Sapienza''.
- Goal:
- Design of logic-based specification languages for combinatorial
problems in the complexity class NP.
- Design and implementation of algorithms for the translation of
the specification into a program in, e.g., Prolog or Java.
- Translation of the specification into an instance of a different
combinatorial problem, e.g., an instance of SAT.
- People involved:
- Code
- Papers
Back to
Marco Cadoli's Home Page.
(Last update )