diff --git a/.gitignore b/.gitignore index 177ca3b..dcc48bc 100644 --- a/.gitignore +++ b/.gitignore @@ -21,4 +21,5 @@ classification/problems.csv *.toc *.fls *.fdb_latexmk -.venv \ No newline at end of file +.venv +.vscode \ No newline at end of file diff --git a/MYabrv.bib b/MYabrv.bib index 95dccaf..d760c92 100644 --- a/MYabrv.bib +++ b/MYabrv.bib @@ -293,6 +293,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{ENTCS = "Electronic Notes in Theoretical Computer Science (ENTCS)"} @String{EMSE = "Empirical Software Engineering (EMSE)"} @@ -353,6 +354,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"} diff --git a/MYshort.bib b/MYshort.bib index bf6fb27..cec00e2 100644 --- a/MYshort.bib +++ b/MYshort.bib @@ -292,6 +292,7 @@ @String{CLSS @String{COLA = "COLA"} @String{ComNet = "ComNet"} @String{Computer = "IEEE Computer"} +@String{Constraints = "Constraints"} @String{CSUR = "CSUR"} @String{ENTCS = "ENTCS"} @String{EMSE = "EMSE"} @@ -352,6 +353,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"} diff --git a/literature.bib b/literature.bib index 5ffdba6..4d7a158 100644 --- a/literature.bib +++ b/literature.bib @@ -326,6 +326,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}}, @@ -7537,6 +7560,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}},