Auflistung P332 - Software Engineering 2023 Nach Schlagwort "Automated Reasoning" - Digitale Bibliothek - Gesellschaft für Informatik e.V.

Anzeige der Dokumente 1-1 von 1

«
»

Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses

Kuiter, Elias; Krieter, Sebastian; Sundermann, Chico; Thüm, Thomas; Saake, Gunter
83-84

Anzeige der Dokumente 1-1 von 1

«
»