%0 Conference Paper %1 conf/se/SundermannHNBYT24 %A Sundermann, Chico %A Heß, Tobias %A Nieke, Michael %A Bittner, Paul Maximilian %A Young, Jeffrey M. %A Thüm, Thomas %A Schaefer, Ina %B Software Engineering %D 2024 %E Rabiser, Rick %E Wimmer, Manuel %E Groher, Iris %E Wortmann, Andreas %E Wiesmayr, Bianca %I Gesellschaft für Informatik e.V. %K dblp %P 67-68 %T Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces. %U http://dblp.uni-trier.de/db/conf/se/se2024.html#SundermannHNBYT24 %V P-343 %@ 978-3-88579-737-1

@inproceedings{conf/se/SundermannHNBYT24, added-at = {2024-03-11T00:00:00.000+0100}, author = {Sundermann, Chico and Heß, Tobias and Nieke, Michael and Bittner, Paul Maximilian and Young, Jeffrey M. and Thüm, Thomas and Schaefer, Ina}, biburl = {https://www.bibsonomy.org/bibtex/2d907bcf25fc64da2af9f18bcc8eefed9/dblp}, booktitle = {Software Engineering}, crossref = {conf/se/2024}, editor = {Rabiser, Rick and Wimmer, Manuel and Groher, Iris and Wortmann, Andreas and Wiesmayr, Bianca}, ee = {https://doi.org/10.18420/sw2024_18}, interhash = {82813791dcf2ebedfec542a0a16621bd}, intrahash = {d907bcf25fc64da2af9f18bcc8eefed9}, isbn = {978-3-88579-737-1}, keywords = {dblp}, pages = {67-68}, publisher = {Gesellschaft für Informatik e.V.}, series = {LNI}, timestamp = {2024-04-09T13:03:20.000+0200}, title = {Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces.}, url = {http://dblp.uni-trier.de/db/conf/se/se2024.html#SundermannHNBYT24}, volume = {P-343}, year = 2024 }