The QBF workshop is affiliated to and co-located with the 29th International Conference on Theory and Applications of Satisfiability Testing. Registration to the workshop is possible via the FLoC website.
The QBF workshop is affiliated to and co-located with the 29th International Conference on Theory and Applications of Satisfiability Testing. Registration to the workshop is possible via the FLoC website.