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