Volume: Vol-4230 DL 2026 | Year: 2026

Paper: « dl-paper11 | dl-paper12 | dl-paper18 »

QBF Reasoning for Concept Satisfiability via an Optimised Reduction From K

• Momen Hassan
• Uli Sattler

PDF