From 5e2e3c66e03d547e46e14184b6f77c0d1b65fd87 Mon Sep 17 00:00:00 2001
From: Elias Kuiter <info@elias-kuiter.de>
Date: Wed, 16 Oct 2024 19:41:40 +0200
Subject: [PATCH] added papers

---
 MYabrv.bib     |  1 +
 MYshort.bib    |  1 +
 literature.bib | 39 +++++++++++++++++++++++++++++++++++++++
 3 files changed, 41 insertions(+)

diff --git a/MYabrv.bib b/MYabrv.bib
index 63466626..bd1d33e0 100644
--- a/MYabrv.bib
+++ b/MYabrv.bib
@@ -278,6 +278,7 @@ @String{Algorithmica
 @String{AIEDAM = "Artif.\ Intell.\ Eng.\ Des.\ Anal.\ Manuf.\ (AIEDAM)"}
 @String{AAI = "Advances in Artificial Intelligence"}
 @String{AIJ = "Artificial Intelligence (AIJ)"}
+@String{AIR = "Artif. Intell. Rev. (AIR)"}
 @String{AMAI = "Annals of Mathematics and Artificial Intelligence (AMAI)"}
 @String{AMS = "Trans.\ American Mathematical Society (AMS)"}
 @String{AS = "Applied Sciences"}
diff --git a/MYshort.bib b/MYshort.bib
index daddcf2e..13223696 100644
--- a/MYshort.bib
+++ b/MYshort.bib
@@ -277,6 +277,7 @@ @String{AAI
 @String{Algorithmica = "Algorithmica"}
 @String{AIEDAM = "AIEDAM"}
 @String{AIJ = "AIJ"}
+@String{AIR = "AIR"}
 @String{AMAI = "AMAI"}
 @String{AMS = "AMS"}
 @String{AS = "Applied Sciences"}
diff --git a/literature.bib b/literature.bib
index c5cf0067..95bd31e0 100644
--- a/literature.bib
+++ b/literature.bib
@@ -4468,6 +4468,45 @@ @inproceedings{STS:VaMoS20
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 2019 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
+@inproceedings{AAAM:AIR19,
+	author    = {Alouneh, Sahel and Abed, Sa{\rq}ed and {Al Shayeji}, Mohammad H. and Mesleh, Raed},
+	title     = {{A Comprehensive Study and Analysis on SAT-Solvers: Advances, Usages and Achievements}},
+	journal   = AIR,
+	publisher = Springer,
+	volume    = 52,
+	number    = 4,
+	pages     = {2575--2601},
+	doi       = {10.1007/s10462-018-9628-0},
+	year      = 2019,
+	ek-tags   = {satisfiability, structure}
+}
+
+@inproceedings{ANKB:SPLC19,
+	author    = {{\AA}kesson, Jonas and Nilsson, Sebastian and Kr{\"u}ger, Jacob and Berger, Thorsten},
+	title     = {{Migrating the Android Apo-Games Into an Annotation-Based Software Product Line}},
+	booktitle = SPLC,
+	publisher = ACM,
+	address   = NY,
+	pages     = {103--107},
+	doi       = {10.1145/3336294.3342362},
+	year      = 2019
+}
+
+@proceedings{SPLTea19,
+	editor    = {Acher, Mathieu and Rabiser, Rick and Lopez-Herrejon, Roberto E.},
+	title     = {{Fourth International Workshop on Software Product Line Teaching (SPLTea 2019)}},
+	booktitle = SPLC,
+	publisher = ACM,
+	address   = NY,
+	location  = Paris,
+	pages     = {322},
+	isbn      = {9781450371384},
+	doi       = {10.1145/3336294.3342363},
+	url       = {https://doi.org/10.1145/3336294.3342363},
+	year      = 2019,
+	month     = SEP
+}
+
 @inproceedings{SMK+:SPLC19,
   author = {Daniel Str{\"{u}}ber and Mukelabai Mukelabai and Jacob Kr{\"{u}}ger and Stefan Fischer and Lukas Linsbauer and Jabier Martinez and Thorsten Berger},
   title = {{Facing the Truth: Benchmarking the Techniques for the Evolution of Variant-Rich Systems}},