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 95dccaf..c58dfd1 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 bf6fb27..e0c037b 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 5ffdba6..db5716b 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 db5716b..33779a2 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 c58dfd1..a4f0492 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 e0c037b..defbee4 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 33779a2..bd96ae2 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 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 a4f0492..d760c92 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 defbee4..cec00e2 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 bd96ae2..4d7a158 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},