Matches in SemOpenAlex for { <https://semopenalex.org/work/W3036175370> ?p ?o ?g. }
- W3036175370 abstract "Forgetting variables from a propositional formula may increase its size. Introducing new variables is a way to shorten it. Both operations can be expressed in terms of common equivalence, a weakened version of equivalence. In turn, common equivalence can be expressed in terms of forgetting. An algorithm for forgetting and checking common equivalence in polynomial space is given for the Horn case; it is polynomial-time for the subclass of single-head formulae. Minimizing after forgetting is polynomial-time if the formula is also acyclic and variables cannot be introduced, NP-hard when they can." @default.
- W3036175370 created "2020-06-25" @default.
- W3036175370 creator A5008581096 @default.
- W3036175370 date "2020-06-19" @default.
- W3036175370 modified "2023-09-27" @default.
- W3036175370 title "Common equivalence and size after forgetting." @default.
- W3036175370 cites W106552629 @default.
- W3036175370 cites W1484788771 @default.
- W3036175370 cites W1489167937 @default.
- W3036175370 cites W1507251275 @default.
- W3036175370 cites W1526528721 @default.
- W3036175370 cites W1527893314 @default.
- W3036175370 cites W1572578702 @default.
- W3036175370 cites W1578044518 @default.
- W3036175370 cites W1593671397 @default.
- W3036175370 cites W1595603024 @default.
- W3036175370 cites W1815276389 @default.
- W3036175370 cites W1851383058 @default.
- W3036175370 cites W1974676423 @default.
- W3036175370 cites W1982129592 @default.
- W3036175370 cites W1982345710 @default.
- W3036175370 cites W1990216234 @default.
- W3036175370 cites W1993937043 @default.
- W3036175370 cites W2018094844 @default.
- W3036175370 cites W2025873079 @default.
- W3036175370 cites W2039140951 @default.
- W3036175370 cites W2082448265 @default.
- W3036175370 cites W2088635442 @default.
- W3036175370 cites W2100699693 @default.
- W3036175370 cites W2104025390 @default.
- W3036175370 cites W2114549239 @default.
- W3036175370 cites W2124662710 @default.
- W3036175370 cites W2127024857 @default.
- W3036175370 cites W2137297510 @default.
- W3036175370 cites W2144407603 @default.
- W3036175370 cites W2146819619 @default.
- W3036175370 cites W2149820435 @default.
- W3036175370 cites W2154114149 @default.
- W3036175370 cites W2162280637 @default.
- W3036175370 cites W2167167097 @default.
- W3036175370 cites W2168001802 @default.
- W3036175370 cites W2170431068 @default.
- W3036175370 cites W2170482119 @default.
- W3036175370 cites W2189980513 @default.
- W3036175370 cites W2221503993 @default.
- W3036175370 cites W2225800216 @default.
- W3036175370 cites W2281218127 @default.
- W3036175370 cites W2295304351 @default.
- W3036175370 cites W2399696728 @default.
- W3036175370 cites W2440295837 @default.
- W3036175370 cites W2573779957 @default.
- W3036175370 cites W2578684750 @default.
- W3036175370 cites W2604459184 @default.
- W3036175370 cites W2778562959 @default.
- W3036175370 cites W2899409922 @default.
- W3036175370 cites W2912255306 @default.
- W3036175370 cites W2937448176 @default.
- W3036175370 cites W2945117027 @default.
- W3036175370 cites W3023607802 @default.
- W3036175370 cites W3081349526 @default.
- W3036175370 cites W3086097585 @default.
- W3036175370 cites W3095606439 @default.
- W3036175370 cites W4635078 @default.
- W3036175370 cites W61997153 @default.
- W3036175370 cites W93845155 @default.
- W3036175370 hasPublicationYear "2020" @default.
- W3036175370 type Work @default.
- W3036175370 sameAs 3036175370 @default.
- W3036175370 citedByCount "1" @default.
- W3036175370 countsByYear W30361753702020 @default.
- W3036175370 crossrefType "posted-content" @default.
- W3036175370 hasAuthorship W3036175370A5008581096 @default.
- W3036175370 hasConcept C114614502 @default.
- W3036175370 hasConcept C118615104 @default.
- W3036175370 hasConcept C134306372 @default.
- W3036175370 hasConcept C138885662 @default.
- W3036175370 hasConcept C2780069185 @default.
- W3036175370 hasConcept C33923547 @default.
- W3036175370 hasConcept C41895202 @default.
- W3036175370 hasConcept C7149132 @default.
- W3036175370 hasConcept C90119067 @default.
- W3036175370 hasConceptScore W3036175370C114614502 @default.
- W3036175370 hasConceptScore W3036175370C118615104 @default.
- W3036175370 hasConceptScore W3036175370C134306372 @default.
- W3036175370 hasConceptScore W3036175370C138885662 @default.
- W3036175370 hasConceptScore W3036175370C2780069185 @default.
- W3036175370 hasConceptScore W3036175370C33923547 @default.
- W3036175370 hasConceptScore W3036175370C41895202 @default.
- W3036175370 hasConceptScore W3036175370C7149132 @default.
- W3036175370 hasConceptScore W3036175370C90119067 @default.
- W3036175370 hasLocation W30361753701 @default.
- W3036175370 hasOpenAccess W3036175370 @default.
- W3036175370 hasPrimaryLocation W30361753701 @default.
- W3036175370 hasRelatedWork W1558838990 @default.
- W3036175370 hasRelatedWork W1589342712 @default.
- W3036175370 hasRelatedWork W1591531250 @default.
- W3036175370 hasRelatedWork W2005967372 @default.
- W3036175370 hasRelatedWork W2037639986 @default.
- W3036175370 hasRelatedWork W2042347326 @default.
- W3036175370 hasRelatedWork W2044558209 @default.