Article can be found here:
https://link.springer.com/article/10.1007/s10664-022-10265-9
Authors:
"Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces" accepted at EMSE Journal
Ulm University Ulm University
Our work "Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces" by Chico Sundermann, Tobias Heß, Michael Nieke, Paul Maximilian Bittner, Jeffrey M. Young, Thomas Thüm, and Ina Schaefer has been accepted at the Empirical Software Engineering journal.