GitHub - AL-DN/3SAT_Analysis: This report aims to inspect the effects of the ratio m/n on a 3-CNF formula’s satisfiability, where m is the number of clauses, and n is the number of variables. This is done by explaining the code used to produce the results, presenting the resulting data, and explaining the results in the conclusion.

Latest commit

History

Folders and files

Name		Name	Last commit message	Last commit date
__pycache__		__pycache__
tcf_venv		tcf_venv
R1_plot.png		R1_plot.png
R3_plot.png		R3_plot.png
R5_plot.png		R5_plot.png
README.md		README.md
dataviz.ipynb		dataviz.ipynb
exhaustiveSearch.py		exhaustiveSearch.py
output.csv		output.csv
randomInstances.py		randomInstances.py
randomSearch.py		randomSearch.py
ratio_satisfiability_correlation.png		ratio_satisfiability_correlation.png
ratio_satisfiability_regression.png		ratio_satisfiability_regression.png
threeCNF.py		threeCNF.py

Repository files navigation

3SAT Heuristics.pdf

About

This report aims to inspect the effects of the ratio m/n on a 3-CNF formula’s satisfiability, where m is the number of clauses, and n is the number of variables. This is done by explaining the code used to produce the results, presenting the resulting data, and explaining the results in the conclusion.