%0 Conference Paper %1 conf/vamos/KuiterHSKTS24 %A Kuiter, Elias %A Heß, Tobias %A Sundermann, Chico %A Krieter, Sebastian %A Thüm, Thomas %A Saake, Gunter %B VaMoS %D 2024 %E Kehrer, Timo %E Huchard, Marianne %E Teixeira, Leopoldo %E Birchler, Christian %I ACM %K dblp %P 149-151 %T How Easy is SAT-Based Analysis of a Feature Model? %U http://dblp.uni-trier.de/db/conf/vamos/vamos2024.html#KuiterHSKTS24

@inproceedings{conf/vamos/KuiterHSKTS24, added-at = {2024-01-26T00:00:00.000+0100}, author = {Kuiter, Elias and Heß, Tobias and Sundermann, Chico and Krieter, Sebastian and Thüm, Thomas and Saake, Gunter}, biburl = {https://www.bibsonomy.org/bibtex/24482c61b84d941a2259cfad7b13d089e/dblp}, booktitle = {VaMoS}, crossref = {conf/vamos/2024}, editor = {Kehrer, Timo and Huchard, Marianne and Teixeira, Leopoldo and Birchler, Christian}, ee = {https://doi.org/10.1145/3634713.3634733}, interhash = {00a7e6484e6b2c35704688c2d2543a40}, intrahash = {4482c61b84d941a2259cfad7b13d089e}, keywords = {dblp}, pages = {149-151}, publisher = {ACM}, timestamp = {2024-04-10T00:21:35.000+0200}, title = {How Easy is SAT-Based Analysis of a Feature Model?}, url = {http://dblp.uni-trier.de/db/conf/vamos/vamos2024.html#KuiterHSKTS24}, year = 2024 }