( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces.

, , , , , , и . Software Engineering, том P-343 из LNI, стр. 67-68. Gesellschaft für Informatik e.V., (2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Thomas Thüm

Thomas Thum

Thomas Thum

Thomas Thum

Thomas Thum

 

Другие публикации лиц с тем же именем

Back to the future: avoiding paradoxes in feature-model evolution., , и . SPLC (2), стр. 48-51. ACM, (2018)Evaluation of Free and Open Source Tools for Automated Software Composition Analysis., , , , и . CSCS, стр. 3:1-3:11. ACM, (2023)Classifying edits to variability in source code., , , , , и . ESEC/SIGSOFT FSE, стр. 196-208. ACM, (2022)Quantifying the variability mismatch between problem and solution space., , , и . MoDELS, стр. 322-333. ACM, (2022)Variational Satisfiability Solving: Efficiently Solving Lots of Related SAT Problems - Summary., , , и . Software Engineering, том P-332 из LNI, стр. 129-130. Gesellschaft für Informatik e.V., (2023)Traits: Correctness-by-Construction for Free., , , и . FORTE, том 13273 из Lecture Notes in Computer Science, стр. 131-150. Springer, (2022)Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses., , , , и . ASE, стр. 110:1-110:13. ACM, (2022)Tutorial on the universal variability language., , , , , , и . SPLC (A), стр. 260. ACM, (2022)Views on Edits to Variational Software., , , , , , , и . SPLC (A), стр. 141-152. ACM, (2023)UVLS: A Language Server Protocol For UVL., , , , , и . SPLC (B), стр. 43-46. ACM, (2023)