Article can be found here:
https://link.springer.com/article/10.1007/s10664-022-10265-9
Authors:
- Chico Sundermann
- Tobias Heß
- Michael Nieke
- Paul Maximilian Bittner
- Jeffrey M. Young
- Thomas Thüm
- Ina Schaefer
"Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces" accepted at EMSE Journal
Universität Ulm Universität Ulm
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.