RC-Tree: A Variant Avoiding all the Redundancy in Reiter's Minimal Hitting Set Algorithm

Ingo Hans Pill, Thomas Quaritsch

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandBegutachtung

Suchergebnisse