Swagato Sanyal
Swagato Sanyal
Affiliation: School of Computer Science, The University of Sheffield, Sheffield, United Kingdom
Talks
(QBF)
On Knowledge Compilation Languages for QBFs · QBF Counting, Sampling and Synthesis
Pages in this Program
Program
Program on Sunday, 19 July 2026
QBF on Sunday, 19 July 2026
QBF Program
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑