Dataset for Accelerating Hybrid XOR–CNF SAT Problems Natively with In-Memory Computing

This repository contains the instance files used for the paper "Accelerating Hybrid XOR–CNF SAT Problems Natively with In-Memory Computing." The datasets are organized based on their representation (CNF vs. XNF) and whether they have undergone preprocessing. Folder Structure Overview The instances are categorized into the following four folders: CNF: Contains original instances obtained from public repositories. CNF-PP: Contains instances preprocessed using the Processor module of the PySAT library (https://github.com/pysathq/pysat). XNF: Contains instances converted from the original CNF files into XOR+CNF format using the cnf2xnf tool (https://github.com/arminbiere/cnf2xnf). XNF-PP: Contains instances that were first preprocessed with PySAT and subsequently converted to XOR+CNF via cnf2xnf. Problem Categories Each of the folders above is further organized by the specific problem type: McEliece: Instances related to the McEliece cryptosystem. MDP: Instances originated from the Minimal Disagreement Problem. AES: Instances originated from the Advanced Encryption Standard (AES). Data Sources The raw instances located in the CNF folder were sourced directly from the following public repositories: McEliece: Generated using the tools available at https://github.com/nasa/PySA/tree/pysa-mceliece MDP: Accessed from http://archive.dimacs.rutgers.edu/pub/challenge/sat/benchmarks/cnf/ AES: Accessed from https://www.cril.univ-artois.fr/SAT11/ All instances in the -PP and XNF folders are derived from this base set using the tools and modules mentioned above.本仓库收录了用于论文《基于原生内存计算加速混合异或-合取范式可满足性问题》（Accelerating Hybrid XOR–CNF SAT Problems Natively with In-Memory Computing）的实例文件。数据集根据其表示形式（合取范式（CNF）与异或范式（XNF））以及是否经过预处理进行分类组织。 ### 文件夹结构概览 本仓库中的实例被划分为以下四个文件夹： - **CNF**：收录从公开仓库获取的原始实例文件。 - **CNF-PP**：收录使用PySAT库的Processor模块完成预处理的实例文件（PySAT库地址：https://github.com/pysathq/pysat）。 - **XNF**：收录通过cnf2xnf工具将原始CNF格式文件转换为异或+合取范式（XOR+CNF）格式的实例文件（cnf2xnf工具地址：https://github.com/arminbiere/cnf2xnf）。 - **XNF-PP**：收录先通过PySAT完成预处理，再经由cnf2xnf工具转换为XOR+CNF格式的实例文件。 ### 问题类别 上述每个文件夹均进一步按照具体问题类型进行细分： - **McEliece**：与McEliece密码系统相关的实例文件。 - **MDP**：源自最小分歧问题（Minimal Disagreement Problem）的实例文件。 - **AES**：源自高级加密标准（Advanced Encryption Standard，AES）的实例文件。 ### 数据来源 CNF文件夹中的原始实例直接来源于以下公开仓库： - McEliece：使用https://github.com/nasa/PySA/tree/pysa-mceliece 提供的工具生成。 - MDP：从http://archive.dimacs.rutgers.edu/pub/challenge/sat/benchmarks/cnf/ 获取。 - AES：从https://www.cril.univ-artois.fr/SAT11/ 获取。 所有位于带-PP后缀的文件夹以及XNF文件夹中的实例均基于上述基础数据集，通过前文提及的工具与模块生成。