CFF SAT-solver dataset

Published July 1, 2021 | Version v1

Dataset Open

Dataset created by using CFF SAT-solver created as a part of Master's Thesis.

Files

Name	Size	Download all
cclicense.txt md5:8b1a637d181bbe41ab9bec650b885149	19.1 kB	Preview Download
cffdata.json md5:8bc02296775a178b99ed744a0955c50b	2.0 MB	Preview Download
cffdataord.json md5:9c003371f9932acca0a86750d569d2a2	4.9 MB	Preview Download

236

Views

Downloads

Show more details

DOI

Resource type

Dataset

Publisher

Zenodo

Thesis

Aalto University School of Science

License: Creative Commons Attribution 4.0 International

The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited. Read more