Anil Shukla
Anil Shukla
Affiliation: Indian Institute of Technology Ropar
Affiliation: Indian Institute of Technology Ropar, Rupnagar, India
Pages in this Program
On Proof Systems for #QBF
On Knowledge Compilation Languages for QBFs
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑