Vol-2205⫷ Vol-2206 ⫸Vol-2207
urn:nbn:de:0074-2206-0


Vol-2206/preface⫷Vol-2206/paper1⫸Vol-2206/paper2
Eyad AlgahtaniDimitar Kazakov

GPU-Accelerated Hypothesis Cover Set Testing for Learning in Logic