Vol-4229⫷ Vol-4230 ⫸Vol-4231
urn:nbn:de:0074-4230-0


Vol-4230/dl-paper11⫷Vol-4230/dl-paper12⫸Vol-4230/dl-paper18
Momen HassanUli Sattler

QBF Reasoning for Concept Satisfiability via an Optimised Reduction From K