Author of the publication

Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces.

, , , , , , and . Software Engineering, volume P-343 of LNI, page 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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Definition and Calculation of Power Limit Values for Distribution Grids - Basics of Comprehensive Demand Side Managemen., and . ISGT Europe, page 1-6. IEEE, (2018)Continuous T-Wise Coverage., , , , and . SPLC (A), page 87-98. ACM, (2023)Studies on provision of ancillary services by distributed generation units and storage devices., , and . ISGT Europe, page 1-6. IEEE, (2016)Exploiting d-DNNFs for Repetitive Counting Queries on Feature Models., , , , and . CoRR, (2023)Electrical design of an Efficiency House Plus., , , and . ISGT Europe, page 1-7. IEEE, (2012)Incremental construction of modal implication graphs for evolving feature models., , , , , , and . SPLC (A), page 64-74. ACM, (2021)How Easy is SAT-Based Analysis of a Feature Model?, , , , , and . VaMoS, page 149-151. ACM, (2024)Case study on primary frequency control with wind-turbines and photovoltaic plants., , , and . PSCC, page 1-7. IEEE, (2014)Applications of #SAT Solvers on Feature Models., , , , , and . VaMoS, page 12:1-12:10. ACM, (2021)Incremental Identification of T-Wise Feature Interactions., , , , and . VaMoS, page 27-36. ACM, (2024)