Victor Lagerkvist
Victor Lagerkvist
Affiliation: Linköping University
Pages in this Program
Representative Sets in Propositional Abduction
Clausal Deletion Backdoors for QBF: a Parameterized Complexity Approach
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑