Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}