COINjecture/

SAT_Solutions

	COINjecture/SAT_Solutions




	
	Dataset Description

Boolean Satisfiability Problem solutions from the COINjecture Network B blockchain. SAT problem instances and solutions from COINjecture Network B blockchain mining This dataset contains real-world computational problem instances and their solutions that were generated and validated through blockchain consensus using Proof-of-Useful-Work (PoUW).

	Dataset Structure




	
	Schema

Each record contains:

problem_id:… See the full description on the dataset page: https://huggingface.co/datasets/COINjecture/SAT_Solutions.