Sciweavers

The NP-hardness of finding a directed acyclic graph for regular resolution
Recent countries visiting this post
The NP-hardness of finding a directed acyclic graph for regular resolution
us6United States
ru1Russian Federation