Roxane Koitz-Hristov

Dipl.-Ing. Dipl.-Ing. Dr.techn., BSc

20132019
Wenn Sie Änderungen in Pure vorgenommen haben, werden diese hier in Kürze erscheinen.

Forschungsoutput 2013 2019

Filter
!!Conference article
2018

On the superiority of conflict-driven search in MUs enumeration

Koitz-Hristov, R. & Wotawa, F., 1 Jan 2018, in : CEUR Workshop Proceedings. 2289

Publikation: Beitrag in einer Fachzeitschrift!!Conference articleForschungBegutachtung

Model checking
Set theory