Abdallah Saffidine
Abdallah Saffidine
Affiliation: Potassco Solutions
Affiliation: Potassco Solutions, Potsdam, Germany
Pages in this Program
Solving configuration problems with unbounded cardinalities in COOM: Preliminary report
Solving Connect Four with QBF: The Progress So Far
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑