Merge branch 'ek'

.gitignore

@@ -23,3 +23,4 @@ classification/problems.csv
 *.fdb_latexmk
 .venv
 .auctex-auto/
+.vscode

MYabrv.bib

@@ -294,6 +294,7 @@ @String{CLSS
 @String{COLA = "J.\ Computer Languages (COLA)"}
 @String{ComNet = "Computer Networks"}
 @String{Computer = "IEEE Computer"}
+@String{Constraints = "Constraints"}
 @String{CSUR = "ACM Computing Surveys (CSUR)"}
 @String{EJIS = "Europ.\ Journal of Information Systems (EJIS)"}
 @String{ENTCS = "Electronic Notes in Theoretical Computer Science (ENTCS)"}
@@ -355,6 +356,7 @@ @String{PPL
 @String{PNAS = "Proc.\ of the National Academy of Sciences of the United States of America (PNAS)"}
 @String{QREI = "Quality and Reliability Engineering International"}
 @String{REJ = "Requirements Engineering"}
+@String{SciAdv = "Science Advances"}
 @String{SICOMP = "SIAM J.\ on Computing"}
 @String{SCP = "Science of Computer Programming (SCP)"}
 @String{SEN = "SIGSOFT Software Engineering Notes"}

MYshort.bib

@@ -293,6 +293,7 @@ @String{CLSS
 @String{COLA = "COLA"}
 @String{ComNet = "ComNet"}
 @String{Computer = "IEEE Computer"}
+@String{Constraints = "Constraints"}
 @String{CSUR = "CSUR"}
 @String{EJIS = "EJIS"}
 @String{ENTCS = "ENTCS"}
@@ -354,6 +355,7 @@ @String{PPL
 @String{PNAS = "PNAS"}
 @String{QREI = "QREI"}
 @String{REJ = "REJ"}
+@String{SciAdv = "Sci. Adv."}
 @String{SICOMP = "SICOMP"}
 @String{SCP = "SCP"}
 @String{SCS = "SCS"}

literature.bib

@@ -337,6 +337,29 @@ @mastersthesis{Guething23
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 2024 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
+@article{KCP+:SciAdv24,
+	author  = {Sayash Kapoor and Emily M. Cantrell and Kenny Peng and Thanh Hien Pham and Christopher A. Bail and Odd Erik Gundersen and Jake M. Hofman and Jessica Hullman and Michael A. Lones and Momin M. Malik and Priyanka Nanayakkara and Russell A. Poldrack and Inioluwa Deborah Raji and Michael Roberts and Matthew J. Salganik and Marta Serra-Garcia and Brandon M. Stewart and Gilles Vandewiele and Arvind Narayanan},
+	title   = {{REFORMS: Consensus-Based Recommendations for Machine-Learning-Based Science}},
+	journal = SciAdv,
+	volume  = 10,
+	number  = 18,
+	year    = {2024},
+	doi     = {10.1126/sciadv.adk3452},
+	ek-tags = {reproducibility}
+}
+
+@article{HGFB:SCP24,
+	author    = {Horcas, Jose M. and Galindo, Jose A. and Fuentes, Lidia and Benavides, David},
+	title     = {{FM Fact Label}},
+	journal   = SCP,
+	year      = 2024,
+	publisher = ElsevierNorthHolland,
+	address   = Amsterdam,
+	doi       = {10.1016/j.scico.2024.103214},
+	pages     = {103214},
+	ek-tags   = {complexity}
+}
+
 @inproceedings{PKTS:SPLC24,
     author = {Pett, Tobias and Krieter, Sebastian and Th\"{u}m, Thomas and Schaefer, Ina},
     title = {{MulTi-Wise Sampling: Trading Uniform T-Wise Feature Interaction Coverage for Smaller Samples}},
@@ -7602,6 +7625,17 @@ @inproceedings{FMS+:SANER17
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 2016 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
+@article{IMMV:Constraints16,
+	title     = {{On Computing Minimal Independent Support and Its Applications to Sampling and Counting}},
+	author    = {Ivrii, Alexander and Malik, Sharad and Meel, Kuldeep S. and Vardi, Moshe Y.},
+	journal   = Constraints,
+	volume    = 21,
+	pages     = {41--58},
+	year      = 2016,
+	publisher = Springer,
+	ek-tags   = {preprocessing, model counting}
+}
+
 @inproceedings{LLM:IJCAI16,
 	author = {Lagniez, Jean-Marie and Lonca, Emmanue and Marquis, Pierre},
 	title = {{Improving Model Counting by Leveraging Definability}},