Sciweavers

The NP-hardness of finding a directed acyclic graph for regular resolution
Recent Google, Yahoo, MSN search queries leading to this post
The NP-hardness of finding a directed acyclic graph for regular resolution
Data is not available yet.