SATLIB - People Involved in SAT Research
If you want to put faces to some of these names,
you might want to check out this
group photo,
taken at the SAT-2000 Workshop in Renesse:
If you click on the fotograph the involved part is magnified. In the
magnified parts the names will appear when touching the heads.
(Thanks to Hans van Maaren!)
Please contact us by
email
if you want to be included in here.
© hh,
last update 00/12/12.