( en | de | ru )

 

Disambiguierung von "Sundermann, Chico"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Evaluating #SAT solvers on industrial feature models.

, , und . VaMoS, Seite 3:1-3:9. ACM, (2020)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Sydney Chicouri

Jean-Jérôme Chico-Kaleu Muyemba

Manuel Chico Cano

Chico Mello

Fernando Chicote-Campos

 

Weitere Publikationen von Autoren mit dem selben Namen

SMT-based variability analyses in FeatureIDE., , , , , , und . VaMoS, Seite 6:1-6:9. ACM, (2020)It's Your Loss: Classifying Information Loss During Variability Model Roundtrip Transformations., , , und . Software Engineering, Volume P-332 von LNI, Seite 51-52. Gesellschaft für Informatik e.V., (2023)Generic Solution-Space Sampling for Multi-domain Product Lines., , , , , und . GPCE, Seite 135-147. ACM, (2022)How Easy is SAT-Based Analysis of a Feature Model?, , , , , und . VaMoS, Seite 149-151. ACM, (2024)Incremental construction of modal implication graphs for evolving feature models., , , , , , und . SPLC (A), Seite 64-74. ACM, (2021)UVLParser: Extending UVL with Language Levels and Conversion Strategies., , , , , , , und . SPLC (B), Seite 39-42. ACM, (2023)Evaluating #SAT solvers on industrial feature models., , und . VaMoS, Seite 3:1-3:9. ACM, (2020)Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces., , , , , , und . Software Engineering, Volume P-343 von LNI, Seite 67-68. Gesellschaft für Informatik e.V., (2024)ddueruem: a wrapper for feature-model analysis tools., , , und . SPLC (B), Seite 54-57. ACM, (2022)Yet another textual variability language?: a community effort towards a unified language., , , , und . SPLC (A), Seite 136-147. ACM, (2021)