On the Resiliency of Unit Propagation to Max-Resolution
Authors: André Abramé, Djamal Habet
IJCAI 2015 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Experimental | The experimental results we present give evidences of UP-resiliency relevance and insights on the behavior of the learning mechanism. |
| Researcher Affiliation | Academia | Andr e Abram e and Djamal Habet Aix Marseille Universit e, CNRS, ENSAM, Universit e de Toulon, LSIS UMR 7296, 13397, Marseille, France |
| Pseudocode | No | The paper does not contain structured pseudocode or algorithm blocks. |
| Open Source Code | No | The paper does not provide concrete access to source code for the methodology described in this paper. |
| Open Datasets | Yes | We have run all the variants presented below on the unweighted and weighted random and crafted instances of the Max-SAT Evaluation 2013. http://maxsat.ia.udl.cat:81/13 |
| Dataset Splits | No | The paper does not provide specific dataset split information (exact percentages, sample counts, citations to predefined splits, or detailed splitting methodology) for training, validation, or test sets. It mentions using instances from the Max-SAT Evaluation 2013, but not how these were partitioned. |
| Hardware Specification | Yes | All the experiments are performed on machines equipped with Intel Xeon 2.4 Ghz processors and 24 Gb of RAM and running under a GNU/Linux operating system. |
| Software Dependencies | No | The paper mentions that the implementation is performed in the solver AHMAXSAT, but it does not provide specific ancillary software details with version numbers for other dependencies. |
| Experiment Setup | Yes | We have implemented a simple procedure to compute the percentage of UP-resiliency of the transformations... The implementation is performed in the solver AHMAXSAT... The cutoff time is fixed to 1800 seconds per instance. We compare two variants: AHMAXSAT-RPO applies the max-resolution steps in reverse propagation order AHMAXSAT-SIR uses the smallest resolvent heuristic described in [Abram e and Habet, 2014a]. |