Added HM:TR25 and used literature therein

literature.bib

@@ -338,8 +338,31 @@ @mastersthesis{Lukas22
 	note = ToAppear
 }
 
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 2025 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+@techreport{HM:TR25,
+	author = {Tobias Heß and Aaron Molt},
+	title = {{A Fast Counting-Free Algorithm for Computing Atomic Sets in Feature Models}}, 
+	number = {arXiv:2501.12490},
+	institution = {arXiv},
+	doi = {10.48550/arXiv.2501.12490}, 
+	year = 2025
+}
+
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 2024 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
+@inproceedings{DHK:SPLC24,
+	author = {Clemens Dubslaff and Nils Husung and Nikolai K{\"{a}}fer},
+	title = {{Configuring BDD Compilation Techniques for Feature Models}},
+	booktitle = SPLC,
+	pages = {209--216},
+	publisher = ACM,
+	address = NY,
+	year = 2024,
+	location = {Dommeldange, Luxembourg},
+	doi = {10.1145/3646548.3676538}
+}
+
 @article{BSM+:OOPSLA24,
 	author = {Paul Maximilian Bittner and Alexander Schulthei\ss{} and Benjamin Moosherr and Jeffrey M. Young and Leopoldo Teixeira and Eric Walkingshaw and Parisa Ataei and Thomas Th{\"{u}}m},
 	title = {{On the Expressive Power of Languages for Static Variability}},
@@ -10076,12 +10099,25 @@ @article{RTS+:JLAMP16
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 2015 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
+@article{DBS+:SoSyM15,
+  author = {Amador Dur{\'{a}}n and David Benavides and Sergio Segura and Pablo Trinidad and Antonio Ruiz Cort{\'{e}}s},
+  title = {{FLAME: A Formal Framework for the Automated Analysis of Software
+                  Product Lines Validated by Automated Specification Testing}},
+  journal = SoSyM,
+  volume = {16},
+  number = {4},
+  pages = {1049--1082},
+  doi = {10.1007/S10270-015-0503-Z},
+  year = 2015
+}
+
 @book{K15,
-	author    = {Knuth, Donald E.},
-	title     = {{The Art of Computer Programming, Volume 4, Fascicle 6: Satisfiability}},
-	year      = 2015,
+	author = {Knuth, Donald E.},
+	title = {{The Art of Computer Programming, Volume 4, Fascicle 6: Satisfiability}},
+	year = 2015,
 	publisher = AddisonWesleyLongman,
 	address   = Boston,
+	isbn = {0134397606},
 	ek-tags   = {satisfiability}
 }
 
@@ -19804,6 +19840,18 @@ @inproceedings{KTS+:ICSE09
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 2008 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
+@inproceedings{PHS:ECAI08,
+  author = {C{\'{e}}dric Piette and Youssef Hamadi and Lakhdar Sais},
+  title = {{Vivifying Propositional Clausal Formulae}},
+  booktitle = EAI,
+  series = {Frontiers in Artificial Intelligence and Applications},
+  volume = {178},
+  pages = {525--529},
+  publisher = IOS,
+  doi = {10.3233/978-1-58603-891-5-525},
+  year = 2008
+}
+
 @inproceedings{LNAL:CSEET08,
 	author    = {Lisboa, Liana Barachisio and Nascimento, Leandro Marques and de Almeida, Eduardo Santana and de Lemos Meira, Silvio Romero},
 	title     = {{A Case Study in Software Product Lines: An Educational Experience}},