SAT-Based Algorithms for Regular Graph Pattern Matching
Authors: Miguel Terra-Neves, José Amaral, Alexandre Lemos, Rui Quintino, Pedro Resende, Antonio Alegria
AAAI 2024 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Experimental | We also propose a preprocessing technique for improving the performance of the algorithm and evaluate it through an extensive experimental evaluation on benchmarks from the Code Search Net dataset. |
| Researcher Affiliation | Industry | Miguel Terra-Neves1, Jos e Amaral1, Alexandre Lemos1, Rui Quintino1, Pedro Resende2, Antonio Alegria1 1Out Systems 2Zharta |
| Pseudocode | No | The paper describes the encoding and rules using textual explanations and mathematical equations but does not include any explicitly labeled pseudocode or algorithm blocks. |
| Open Source Code | Yes | The graph dataset and Re Ga Ps are publicly available3, plus an executable that can be used to replicate the results presented in this evaluation. ... 3https://github.com/Miguel Terra Neves/regap |
| Open Datasets | Yes | For the attributed graphs, we used a collection of control-flow graphs extracted from the Python code snippets in the Code Search Net dataset (Husain et al. 2020). |
| Dataset Splits | No | The paper mentions processing a total of '946 556 instances' but does not specify any training, validation, or test splits for these instances, nor does it refer to a typical model training process that would require such splits. |
| Hardware Specification | Yes | All experiments were run once with a timeout of 60 seconds4 on an AWS m5a.24xlarge instance with 384 GB of RAM. |
| Software Dependencies | Yes | SAT formulas were solved using Py SAT (version 0.1.7.dev21) (Ignatiev, Morgado, and Marques-Silva 2018), configured to use the Glucose solver (version 4.1) (Audemard, Lagniez, and Simon 2013) with default settings. |
| Experiment Setup | Yes | All experiments were run once with a timeout of 60 seconds4 on an AWS m5a.24xlarge instance with 384 GB of RAM. ... configured to use the Glucose solver (version 4.1) (Audemard, Lagniez, and Simon 2013) with default settings. |