First Page | Document Content | |
---|---|---|
![]() Date: 2007-04-16 00:53:372-satisfiability True quantified Boolean formula Connectivity SL NP-complete problems Matching Vertex cover Skew-symmetric graph Theoretical computer science Mathematics Graph theory | Source URL: www.math.ucsd.eduDownload Document from Source WebsiteFile Size: 473,12 KBShare Document on Facebook |