From 57f094af27094b63faf1451b434f82d367b46b0e Mon Sep 17 00:00:00 2001 From: Elias Kuiter Date: Mon, 23 Sep 2024 10:11:47 +0200 Subject: [PATCH 1/4] added minimal independent support --- MYabrv.bib | 1 + MYshort.bib | 1 + literature.bib | 11 +++++++++++ 3 files changed, 13 insertions(+) diff --git a/MYabrv.bib b/MYabrv.bib index 95dccaf7..c58dfd1f 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)"} diff --git a/MYshort.bib b/MYshort.bib index bf6fb270..e0c037b7 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"} diff --git a/literature.bib b/literature.bib index 5ffdba6e..db5716b6 100644 --- a/literature.bib +++ b/literature.bib @@ -7537,6 +7537,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}}, From e49c1255a7c86431a4e581ed25dad9b1ca516454 Mon Sep 17 00:00:00 2001 From: Elias Kuiter Date: Mon, 30 Sep 2024 08:27:36 +0200 Subject: [PATCH 2/4] added fact label tool paper --- literature.bib | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/literature.bib b/literature.bib index db5716b6..33779a2c 100644 --- a/literature.bib +++ b/literature.bib @@ -326,6 +326,18 @@ @mastersthesis{Guething23 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 2024 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +@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}}, From 21cd82f9c3bc8c07b96f603a4e5cb38df5187b9f Mon Sep 17 00:00:00 2001 From: Elias Kuiter Date: Mon, 30 Sep 2024 12:55:41 +0200 Subject: [PATCH 3/4] added reforms paper --- MYabrv.bib | 1 + MYshort.bib | 1 + literature.bib | 11 +++++++++++ 3 files changed, 13 insertions(+) diff --git a/MYabrv.bib b/MYabrv.bib index c58dfd1f..a4f04928 100644 --- a/MYabrv.bib +++ b/MYabrv.bib @@ -354,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{SA = "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 e0c037b7..defbee4e 100644 --- a/MYshort.bib +++ b/MYshort.bib @@ -353,6 +353,7 @@ @String{PPL @String{PNAS = "PNAS"} @String{QREI = "QREI"} @String{REJ = "REJ"} +@String{SA = "Sci. Adv."} @String{SICOMP = "SICOMP"} @String{SCP = "SCP"} @String{SCS = "SCS"} diff --git a/literature.bib b/literature.bib index 33779a2c..bd96ae2f 100644 --- a/literature.bib +++ b/literature.bib @@ -326,6 +326,17 @@ @mastersthesis{Guething23 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 2024 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +@article{KCP+:SA24, + 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 = SA, + 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}}, From 29bbbcd27e35757b2cd26cb96c8b0738098299fb Mon Sep 17 00:00:00 2001 From: Elias Kuiter Date: Tue, 1 Oct 2024 14:15:30 +0200 Subject: [PATCH 4/4] Paul's comments --- .gitignore | 3 ++- MYabrv.bib | 2 +- MYshort.bib | 2 +- literature.bib | 6 +++--- 4 files changed, 7 insertions(+), 6 deletions(-) diff --git a/.gitignore b/.gitignore index 177ca3b3..dcc48bc1 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 a4f04928..d760c920 100644 --- a/MYabrv.bib +++ b/MYabrv.bib @@ -354,7 +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{SA = "Science Advances"} +@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 defbee4e..cec00e2e 100644 --- a/MYshort.bib +++ b/MYshort.bib @@ -353,7 +353,7 @@ @String{PPL @String{PNAS = "PNAS"} @String{QREI = "QREI"} @String{REJ = "REJ"} -@String{SA = "Sci. Adv."} +@String{SciAdv = "Sci. Adv."} @String{SICOMP = "SICOMP"} @String{SCP = "SCP"} @String{SCS = "SCS"} diff --git a/literature.bib b/literature.bib index bd96ae2f..4d7a158f 100644 --- a/literature.bib +++ b/literature.bib @@ -326,10 +326,10 @@ @mastersthesis{Guething23 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 2024 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -@article{KCP+:SA24, +@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 = SA, + title = {{REFORMS: Consensus-Based Recommendations for Machine-Learning-Based Science}}, + journal = SciAdv, volume = 10, number = 18, year = {2024},