Codestin Search App

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 136 Commits
7-nov-2016		7-nov-2016
Collaboration Networks		Collaboration Networks
EXDATA-1		EXDATA-1
bio-human-gene2		bio-human-gene2
diophantine		diophantine
discrete_logarithm		discrete_logarithm
facebook_combined		facebook_combined
goldbach		goldbach
multi_modular_diophantine_equation		multi_modular_diophantine_equation
multidimensional_sum_subset_problem		multidimensional_sum_subset_problem
multiset_sum_problem		multiset_sum_problem
shubert_game		shubert_game
soc-google-plus		soc-google-plus
twitter_combined		twitter_combined
ultimate_benchmark_max_clique		ultimate_benchmark_max_clique
virii_computing		virii_computing
word_count		word_count
296145_solutions_sum_subset.zip		296145_solutions_sum_subset.zip
ds.abs_2D.png		ds.abs_2D.png
ds.abs_2D_1.png		ds.abs_2D_1.png
ds.abs_3D.png		ds.abs_3D.png
oriveros.pdf		oriveros.pdf
pub.abs.sol		pub.abs.sol
readme.txt		readme.txt
report.txt		report.txt
sat_equation_paper.py		sat_equation_paper.py
solutions.py		solutions.py
tsp.png		tsp.png
universe.abs		universe.abs

Repository files navigation

# 2025 - A Unique Encoding of Satisfying Assignments for Balanced CNFs
https://www.academia.edu/129202540/A_Unique_Encoding_of_Satisfying_Assignments_for_Balanced_CNFs

FUNDAMENTAL LAW OF BINARY THEORIES
UNIVERSAL NUMBER THEORY EQUATION OF SAT
http://www.academia.edu/27914083/FUNDAMENTAL_LAW_OF_BINARY_THEORIES_-_UNIVERSAL_NUMBER_THEORY_EQUATION_OF_SAT


PROOF OF FUNDAMENTAL THEOREM OF ARITHMETICA UNIVERSALIS
http://www.academia.edu/28123997/PROOF_OF_FUNDAMENTAL_THEOREM_OF_ARITHMETICA_UNIVERSALIS

http://twitter.com/maxtuno

Note: This is an equation not an algorithm