News
The Second International Workshop on "Quantified Boolean Formulae (QBF-02)"
;
The workshop is held in connection with
SAT2002.