%0 Conference Paper %1 conf/vamos/SundermannTS20 %A Sundermann, Chico %A Thüm, Thomas %A Schaefer, Ina %B VaMoS %D 2020 %E Cordy, Maxime %E Acher, Mathieu %E Beuche, Danilo %E Saake, Gunter %I ACM %K dblp %P 3:1-3:9 %T Evaluating #SAT solvers on industrial feature models. %U http://dblp.uni-trier.de/db/conf/vamos/vamos2020.html#SundermannTS20 %@ 978-1-4503-7501-6

@inproceedings{conf/vamos/SundermannTS20, added-at = {2020-02-08T00:00:00.000+0100}, author = {Sundermann, Chico and Thüm, Thomas and Schaefer, Ina}, biburl = {https://www.bibsonomy.org/bibtex/2d63a53c31c592efcb32172e40e4e3251/dblp}, booktitle = {VaMoS}, crossref = {conf/vamos/2020}, editor = {Cordy, Maxime and Acher, Mathieu and Beuche, Danilo and Saake, Gunter}, ee = {https://doi.org/10.1145/3377024.3377025}, interhash = {028664bde7dc24e0d83798907ddcf4ff}, intrahash = {d63a53c31c592efcb32172e40e4e3251}, isbn = {978-1-4503-7501-6}, keywords = {dblp}, pages = {3:1-3:9}, publisher = {ACM}, timestamp = {2020-02-11T11:44:08.000+0100}, title = {Evaluating #SAT solvers on industrial feature models.}, url = {http://dblp.uni-trier.de/db/conf/vamos/vamos2020.html#SundermannTS20}, year = 2020 }