research
∙
12/22/2022
A Graph-Transformational Approach for Proving the Correctness of Reductions between NP-Problems
The complexity class NP of decision problems that can be solved nondeter...
research
∙
12/03/2020