activity
20062022
most citedDuality Gap, Computational Complexity and NP Completeness: A Survey

3 citations · 3 across the 8 of their papers we have counts for

collaborators
Showing 2010 · cs.CCShow all

1 paper · 2 filters

cs.CC2010

Existential Second Order Logic Expression With Horn First Order for Maximum Clique (Decision Version)

Prabhu Manyem

We show that the maximum clique problem (decision version) can be expressed in existential second order (ESO) logic, where the first order part is a Horn formula in second-order qu…