|
..
|
|
3-Coloring Oracle via Reduction to SAT.ipynb
|
|
clique.ipynb
|
|
exact_cover.ipynb
|
|
graph_partition.ipynb
|
|
grover.ipynb
|
|
max_cut.ipynb
|
|
partition.ipynb
|
|
set_packing.ipynb
|
|
stable_set.ipynb
|
|
vertex_cover.ipynb
|
|
3sat2-3.cnf
|
|
README.md
|
|
sample.exactcover
|
|
sample.maxcut
|
|
sample.partition
|
|
sample.setpacking
|