Find link

language:

jump to random article

Find link is a tool written by Edward Betts.

searching for List of NP-complete problems 1 found (16 total)

alternate case: list of NP-complete problems

Theta-subsumption (660 words) [view diff] exact match in snippet view article find links to article

problems, Computers and Intractability, includes it among its list of NP-complete problems. Theorem provers based on the resolution or superposition calculus