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 <a href="https://www.cril.univ-artois.fr/SAT11/