International Conference on Theory and Applications of Satisfiability Testing

Niemelä, I. (Member)

Activity: Participating in or organising an event typesMembership of a scientific or program committee of a conference or seminar

Description

Eight International Conference on Theory and Applications of Satisfiability Testing ( SAT 2005), St. Andrews, Skotlanti, 19-23.6.2005, Iso-Britannia
Period2005
Event typeConference
Conference number8
LocationSt. Andrews, United Kingdom