>   Computer Science Department   >   Toni Mancini
[login|signup]      [Italiano|English]

Exploiting functional dependencies in declarative problem specifications

To appear in Artificial Intelligence

Toni Mancini, Marco Cadoli
Dipartimento di Informatica e Sistemistica
Università di Roma "La Sapienza"
via Salaria 113, I-00198 Roma, Italy

Web appendix

Specifications and instances used in the experiments


HP 2D-Protein folding

Blocks world

[This web site could never be realised without the sophisticated features of a pure text editor and the extreme power of 220V]