Uli Sattler
Uli Sattler
Affiliation: University of Manchester
Pages in this Program
QBF Reasoning for Concept Satisfiability via an Optimised Reduction From K
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑