Forschungsoutput pro Jahr
Forschungsoutput 2013 2019
2018
On the superiority of conflict-driven search in MUs enumeration
Koitz-Hristov, R. & Wotawa, F., 1 Jan 2018, in : CEUR Workshop Proceedings. 2289Publikation: Beitrag in einer Fachzeitschrift › !!Conference article › Forschung › Begutachtung
Model checking
Set theory