Currently, *SAT team includes:
-
Armando
Tacchella is developing and
maintainaning *SAT (I take care of these pages too:
e-mail me any
comments, thanks!).
-
Enrico Giunchiglia
is supervising the development of *SAT. He is involved
both in algorithm design and in system implementation.
-
Fausto Giunchiglia
is providing technical advice. He also
supervised the development of parts of *SAT.
-
Roberto Sebastiani
is providing technical advice. He
contributed many ideas to the algorithmic part of *SAT.
|