entries for 2021

MYabrv.bib

@@ -318,6 +318,7 @@ @String{JDM
 @String{JEA = "ACM J.\ of Experimental Algorithmics (JEA)"}
 @String{JFP = "Journal of Functional Programming (JFP)"}
 @String{JGME = "J.\ of Graduate Medical Education (JGME)"}
+@String{JIME = "J.\ of Interactive Media in Education (JIME)"}
 @String{JLAMP = "J.\ Logic and Algebraic Methods in Programming (JLAMP)"}
 @String{JLAP = "J.\ Logic and Algebraic Programming (JLAP)"}
 @String{JO = "J.\ Order"}

MYshort.bib

@@ -317,6 +317,7 @@ @String{JDM
 @String{JEA = "JEA"}
 @String{JFP = "JFP"}
 @String{JGME = "JGME"}
+@String{JIME = "JIME"}
 @String{JLAMP = "JLAMP"}
 @String{JLAP = "JLAP"}
 @String{JO = "JO"}

literature.bib

@@ -2084,6 +2084,134 @@ @inproceedings{WKR:SPLC22
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 2021 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
+@book{BHvMW21,
+	author = {Biere, Armin and Heule, Marijn and van Maaren, Hans and Walsh, Tony},
+	title = {{Handbook of Satisfiability}},
+	isbn = {978-1-64368-160-3},
+	publisher = IOS,
+	address = Amsterdam,
+	year = 2021
+}
+
+@incollection{BJK21,
+	title = {{Preprocessing in SAT Solving}},
+	author = {Biere, Armin and J{\"a}rvisalo, Matti and Kiesl, Benjamin},
+	booktitle = {Handbook of Satisfiability},
+	publisher = IOS,
+	address = Amsterdam,
+	year = 2021
+}
+
+@article{BRSS:COLA22,
+	title = {{Family-Based and Product-Based Development of Correct-by-Construction Software Product Lines}},
+	author = {Tabea Bordis and Tobias Runge and David Schultz and Ina Schaefer},
+	journal = COLA,
+	volume = 70,
+	pages = 101119,
+	year = 2022,
+	doi = {10.1016/j.cola.2022.101119},
+}
+
+@inproceedings{GEQR:SPLC21,
+	author = {Gu\'{e}gain, \'{E}douard and Quinton, Cl\'{e}ment and Rouvoy, Romain},
+	title = {{On Reducing the Energy Consumption of Software Product Lines}},
+	booktitle = SPLC,
+	publisher = ACM,
+	pages = {89–99},
+	doi = {10.1145/3461001.3471142},
+	year = 2021
+}
+
+@inproceedings{KKS:SPLC21,
+	author = {Kuiter, Elias and Kr{\"u}ger, Jacob and Saake, Gunter},
+	title = {{Iterative Development and Changing Requirements: Drivers of Variability in an Industrial System for Veterinary Anesthesia}},
+	booktitle = SPLC,
+	publisher = ACM,
+	pages = {113--122},
+	doi = {10.1145/3461002.3473950},
+	month = SEP,
+	year = 2021
+}
+
+@article{LKHB:EMSE21,
+	author = {Lindohf, Robert and Kr\"{u}ger, Jacob and Herzog, Erik and Berger, Thorsten},
+	title = {{Software Product-Line Evaluation in the Large}},
+	journal = EMSE,
+	volume = 26,
+	number = 2,
+	pages = 30,
+	doi = {10.1007/s10664-020-09913-9},
+	year = 2021
+}
+
+@inproceedings{MXCP:SPLC21,
+	author = {Johann Mortara and Xhevahire T\"{e}rnava and Philippe Collet and Anne-Marie Pinna-Dery},
+	title = {{Extending the Identification of Object-Oriented Variability Implementations Using Usage Relationships}},
+	booktitle = SPLC,
+	publisher = ACM,
+	address = NY,
+	pages = {91--98},
+	doi = {10.1145/3461002.3473943},
+	month = SEP,
+	year = 2021
+}
+
+@inproceedings{MC:SPLC21,
+	author = {Mortara, Johann and Collet, Philippe},
+	title = {{Capturing the Diversity of Analyses on the Linux Kernel Variability}},
+	booktitle = SPLC,
+	publisher = ACM,
+	address = NY,
+	pages = {160--171},
+	doi = {10.1145/3461001.3471151},
+	month = SEP,
+	year = 2021
+}
+
+@inproceedings{MGPF:CAiSE21,
+	author = {Munoz, Daniel-Jesus and Gurov, Dilian and Pinto, Monica and Fuentes, Lidia},
+	title = {{Category Theory Framework for Variability Models with Non-Functional Requirements}},
+	booktitle = CAiSE,
+	publisher = Springer,
+	pages = {397--413},
+	year = 2021
+}
+
+@article{NH:JIME21,
+	author = {Nagashima, Tomohiro and Harch, Susan},
+	title = {{Motivating Factors among University Faculty for Adopting Open Educational Resources: Incentives Matter}},
+	journal = JIME,
+	publisher = {Eric},
+	volume = 2021,
+	number = 1,
+	articleno = 19,
+	doi = {10.5334/jime.678},
+	month = DEC,
+	year = 2021
+}
+
+@inproceedings{P:SPLC21,
+	author = {Pinnecke, Marcus},
+	title = {{Product-Lining the Elinvar Wealthtech Microservice Platform}},
+	booktitle = SPLC,
+	publisher = ACM,
+	address = NY,
+	location = Leicester,
+	pages = {60-–68},
+	isbn = 9781450384704,
+	doi = {10.1145/3461002.3473947},
+	year = 2021
+}
+
+@inbook{SFPW21,
+	author = {Sannella, Donald and Fourman, Michael and Peng, Haoran and Wadler, Philip},
+	title = {{Efficient CNF Conversion}},
+	booktitle = {{Introduction to Computation: Haskell, Logic and Automata}},
+	publisher = Springer,
+	pages = {219--229},
+	doi = {10.1007/978-3-030-76908-6_22},
+	year = 2021
+}
 
 @article{FHI+:AIJ21,
 	title     = {{SAT Competition 2020}},
@@ -17316,10 +17444,11 @@ @inproceedings{WZD:ICSM09
 }
 
 @book{BBH+09,
-	author = {Biere, A. and Biere, A. and Heule, M. and van Maaren, H. and Walsh, T.},
-	title = {{Handbook of Satisfiability: Volume 185 Frontiers in Artificial Intelligence and Applications}},
+	subsumedby = {BHvM+21},
+	author = {Biere, Armin and Heule, Marijn and van Maaren, Hans and Walsh, Tony},
+	title = {{Handbook of Satisfiability}},
 	isbn = {9781586039295},
-	publisher = {IOS Press},
+	publisher = IOS,
 	address = Amsterdam,
 	tt-tags = {Satisfiability Solving,Download},
 	year = 2009