%0 Conference Paper %1 conf/se/KuiterKSTS23 %A Kuiter, Elias %A Krieter, Sebastian %A Sundermann, Chico %A Thüm, Thomas %A Saake, Gunter %B Software Engineering %D 2023 %E Engels, Gregor %E Hebig, Regina %E Tichy, Matthias %I Gesellschaft für Informatik e.V. %K dblp %P 83-84 %T Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses. %U http://dblp.uni-trier.de/db/conf/se/se2023.html#KuiterKSTS23 %V P-332 %@ 978-3-88579-726-5

@inproceedings{conf/se/KuiterKSTS23, added-at = {2023-07-04T00:00:00.000+0200}, author = {Kuiter, Elias and Krieter, Sebastian and Sundermann, Chico and Thüm, Thomas and Saake, Gunter}, biburl = {https://www.bibsonomy.org/bibtex/2f4e150b962715584abf070d737219282/dblp}, booktitle = {Software Engineering}, crossref = {conf/se/2023}, editor = {Engels, Gregor and Hebig, Regina and Tichy, Matthias}, ee = {https://dl.gi.de/handle/20.500.12116/40094}, interhash = {aa6f4b38b6bdfa8373474ea93d0dfea7}, intrahash = {f4e150b962715584abf070d737219282}, isbn = {978-3-88579-726-5}, keywords = {dblp}, pages = {83-84}, publisher = {Gesellschaft für Informatik e.V.}, series = {LNI}, timestamp = {2024-04-09T13:03:20.000+0200}, title = {Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses.}, url = {http://dblp.uni-trier.de/db/conf/se/se2023.html#KuiterKSTS23}, volume = {P-332}, year = 2023 }