Matches in SemOpenAlex for { <https://semopenalex.org/work/W1641502956> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W1641502956 abstract "In this manuscript, assuming that Graedel's 1991 results are correct (which implies that bounds on the solution values for optimization problems can be expressed in existential second order logic where the first order part is universal Horn), I will show that Clique and Vertex Cover can be solved in polynomial time if the input structure is ordered and contains a successor predicate. In the last section, we will argue about the validity of Graedel's 1991 results. Update: Manuscript withdrawn, because results are incorrect. If phi = phi_1 AND phi_2, and phi is a Horn formula, it does NOT mean that both phi_1 and phi_2 are Horn formulae. Furthermore, the cardinality constraint CANNOT be expressed as a universal Horn sentence in ESO (NOT even when the structure is ordered)." @default.
- W1641502956 created "2016-06-24" @default.
- W1641502956 creator A5081267091 @default.
- W1641502956 date "2009-09-30" @default.
- W1641502956 modified "2023-09-27" @default.
- W1641502956 title "Clique and Vertex Cover are solvable in polynomial time if the input structure is ordered and contains a successor predicate" @default.
- W1641502956 cites W1482193060 @default.
- W1641502956 cites W87231157 @default.
- W1641502956 hasPublicationYear "2009" @default.
- W1641502956 type Work @default.
- W1641502956 sameAs 1641502956 @default.
- W1641502956 citedByCount "0" @default.
- W1641502956 crossrefType "posted-content" @default.
- W1641502956 hasAuthorship W1641502956A5081267091 @default.
- W1641502956 hasConcept C114614502 @default.
- W1641502956 hasConcept C118615104 @default.
- W1641502956 hasConcept C127413603 @default.
- W1641502956 hasConcept C132525143 @default.
- W1641502956 hasConcept C134306372 @default.
- W1641502956 hasConcept C140146324 @default.
- W1641502956 hasConcept C199360897 @default.
- W1641502956 hasConcept C2780428219 @default.
- W1641502956 hasConcept C33923547 @default.
- W1641502956 hasConcept C41008148 @default.
- W1641502956 hasConcept C75306776 @default.
- W1641502956 hasConcept C78519656 @default.
- W1641502956 hasConcept C80899671 @default.
- W1641502956 hasConceptScore W1641502956C114614502 @default.
- W1641502956 hasConceptScore W1641502956C118615104 @default.
- W1641502956 hasConceptScore W1641502956C127413603 @default.
- W1641502956 hasConceptScore W1641502956C132525143 @default.
- W1641502956 hasConceptScore W1641502956C134306372 @default.
- W1641502956 hasConceptScore W1641502956C140146324 @default.
- W1641502956 hasConceptScore W1641502956C199360897 @default.
- W1641502956 hasConceptScore W1641502956C2780428219 @default.
- W1641502956 hasConceptScore W1641502956C33923547 @default.
- W1641502956 hasConceptScore W1641502956C41008148 @default.
- W1641502956 hasConceptScore W1641502956C75306776 @default.
- W1641502956 hasConceptScore W1641502956C78519656 @default.
- W1641502956 hasConceptScore W1641502956C80899671 @default.
- W1641502956 hasLocation W16415029561 @default.
- W1641502956 hasOpenAccess W1641502956 @default.
- W1641502956 hasPrimaryLocation W16415029561 @default.
- W1641502956 hasRelatedWork W1503555929 @default.
- W1641502956 hasRelatedWork W1519919954 @default.
- W1641502956 hasRelatedWork W1559446374 @default.
- W1641502956 hasRelatedWork W2170001390 @default.
- W1641502956 hasRelatedWork W2226104155 @default.
- W1641502956 hasRelatedWork W2359371306 @default.
- W1641502956 hasRelatedWork W2468712088 @default.
- W1641502956 hasRelatedWork W2510664007 @default.
- W1641502956 hasRelatedWork W2626013949 @default.
- W1641502956 hasRelatedWork W2896317787 @default.
- W1641502956 hasRelatedWork W2904683578 @default.
- W1641502956 hasRelatedWork W2949180556 @default.
- W1641502956 hasRelatedWork W2951767637 @default.
- W1641502956 hasRelatedWork W2952147886 @default.
- W1641502956 hasRelatedWork W2952190520 @default.
- W1641502956 hasRelatedWork W2952477503 @default.
- W1641502956 hasRelatedWork W2963570027 @default.
- W1641502956 hasRelatedWork W3147498698 @default.
- W1641502956 hasRelatedWork W3184813396 @default.
- W1641502956 hasRelatedWork W78317261 @default.
- W1641502956 isParatext "false" @default.
- W1641502956 isRetracted "false" @default.
- W1641502956 magId "1641502956" @default.
- W1641502956 workType "article" @default.