Data from Quantum algorithms for CSPs (07-2019)/sat/bt
Back to top level
Up one level
Data Resources
-
bt-10-15-25-7.csv
TXT
-
bt-11-15-25-7.csv
TXT
-
bt-12-15-25-7.csv
TXT
-
bt-13-15-20-5.csv
TXT
-
bt-14-15-20-5.csv
TXT
-
bt-15-16-20-5.csv
TXT
-
bt-3-10-30-15.csv
TXT
-
bt-4-10-30-15.csv
TXT
-
bt-5-10-30-15.csv
TXT
-
bt-6-10-30-15.csv
TXT
-
bt-7-10-30-15.csv
TXT
-
bt-8-10-30-15.csv
TXT
-
bt-9-10-30-15.csv
TXT
-
bt.c
TXT
-
randomksat-bt.py
TXT
-
scalinganalysis-bt.py
TXT
-
treesizes.pdf
PDF