Lower Bounds on Syntactic Logic Expressions for Optimization Problems and Duality using Lagrangean Dual to characterize optimality conditions [Citation Graph (, )][DBLP]
Clique and Vertex Cover are solvable in polynomial time if the input structure is ordered and contains a successor predicate [Citation Graph (, )][DBLP]
Existential Second Order Logic Expression With Horn First Order for Maximum Clique (Decision Version) [Citation Graph (, )][DBLP]