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

Sundermann, Chico; Heß, Tobias; Nieke, Michael; Bittner, Paul Maximilian; Young, Jeffrey M.; Thüm, Thomas; Schaefer, Ina (2024): Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces. Software Engineering 2024 (SE 2024). DOI: 10.18420/sw2024_18. Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 978-3-88579-737-1. pp. 67-68. Understanding Software. Linz, Österreich. 26. Februar-1. März 2024