Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%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
}