Description: This paper describes a 2-STAR algorithm, the algorithm in graph theory, which has a higher status, the paper pushed to the coloring algorithm of time complexity O (e). Has high academic value.
To Search:
File list (Check if you may need any files):
2-SAT.pdf