Matches in SemOpenAlex for { <https://semopenalex.org/work/W1494752912> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W1494752912 endingPage "35" @default.
- W1494752912 startingPage "24" @default.
- W1494752912 abstract "The Minimum Equivalent Expression problem is a natural optimization problem in the second level of the Polynomial-Time Hierarchy. It has long been conjectured to be (Sigma_2^P)-complete and indeed appears as an open problem in Garey and Johnson [GJ79]. The depth-2 variant was only shown to be (Sigma_2^P)-complete in 1998 [Uma98], and even resolving the complexity of the depth-3 version has been mentioned as a challenging open problem. We prove that the depth-k version is (Sigma_2^P)-complete under Turing reductions for all k ≥ 3. We also settle the complexity of the original, unbounded depth Minimum Equivalent Expression problem, by showing that it too is (Sigma_2^P)-complete under Turing reductions." @default.
- W1494752912 created "2016-06-24" @default.
- W1494752912 creator A5047283705 @default.
- W1494752912 creator A5078476027 @default.
- W1494752912 date "2008-01-01" @default.
- W1494752912 modified "2023-09-23" @default.
- W1494752912 title "The Complexity of Boolean Formula Minimization" @default.
- W1494752912 cites W1543854702 @default.
- W1494752912 cites W1966819396 @default.
- W1494752912 cites W2065251436 @default.
- W1494752912 cites W2111692040 @default.
- W1494752912 cites W2115324747 @default.
- W1494752912 cites W2130402533 @default.
- W1494752912 doi "https://doi.org/10.1007/978-3-540-70575-8_3" @default.
- W1494752912 hasPublicationYear "2008" @default.
- W1494752912 type Work @default.
- W1494752912 sameAs 1494752912 @default.
- W1494752912 citedByCount "12" @default.
- W1494752912 countsByYear W14947529122012 @default.
- W1494752912 countsByYear W14947529122013 @default.
- W1494752912 countsByYear W14947529122015 @default.
- W1494752912 countsByYear W14947529122016 @default.
- W1494752912 countsByYear W14947529122017 @default.
- W1494752912 countsByYear W14947529122020 @default.
- W1494752912 crossrefType "book-chapter" @default.
- W1494752912 hasAuthorship W1494752912A5047283705 @default.
- W1494752912 hasAuthorship W1494752912A5078476027 @default.
- W1494752912 hasBestOaLocation W14947529122 @default.
- W1494752912 hasConcept C11413529 @default.
- W1494752912 hasConcept C114614502 @default.
- W1494752912 hasConcept C118615104 @default.
- W1494752912 hasConcept C121332964 @default.
- W1494752912 hasConcept C122749075 @default.
- W1494752912 hasConcept C126255220 @default.
- W1494752912 hasConcept C131671149 @default.
- W1494752912 hasConcept C147764199 @default.
- W1494752912 hasConcept C15547884 @default.
- W1494752912 hasConcept C162324750 @default.
- W1494752912 hasConcept C179799912 @default.
- W1494752912 hasConcept C199360897 @default.
- W1494752912 hasConcept C2776013622 @default.
- W1494752912 hasConcept C2778049214 @default.
- W1494752912 hasConcept C29248071 @default.
- W1494752912 hasConcept C311688 @default.
- W1494752912 hasConcept C31170391 @default.
- W1494752912 hasConcept C33923547 @default.
- W1494752912 hasConcept C34447519 @default.
- W1494752912 hasConcept C41008148 @default.
- W1494752912 hasConcept C45374587 @default.
- W1494752912 hasConcept C48415503 @default.
- W1494752912 hasConcept C62520636 @default.
- W1494752912 hasConcept C90559484 @default.
- W1494752912 hasConcept C9870796 @default.
- W1494752912 hasConceptScore W1494752912C11413529 @default.
- W1494752912 hasConceptScore W1494752912C114614502 @default.
- W1494752912 hasConceptScore W1494752912C118615104 @default.
- W1494752912 hasConceptScore W1494752912C121332964 @default.
- W1494752912 hasConceptScore W1494752912C122749075 @default.
- W1494752912 hasConceptScore W1494752912C126255220 @default.
- W1494752912 hasConceptScore W1494752912C131671149 @default.
- W1494752912 hasConceptScore W1494752912C147764199 @default.
- W1494752912 hasConceptScore W1494752912C15547884 @default.
- W1494752912 hasConceptScore W1494752912C162324750 @default.
- W1494752912 hasConceptScore W1494752912C179799912 @default.
- W1494752912 hasConceptScore W1494752912C199360897 @default.
- W1494752912 hasConceptScore W1494752912C2776013622 @default.
- W1494752912 hasConceptScore W1494752912C2778049214 @default.
- W1494752912 hasConceptScore W1494752912C29248071 @default.
- W1494752912 hasConceptScore W1494752912C311688 @default.
- W1494752912 hasConceptScore W1494752912C31170391 @default.
- W1494752912 hasConceptScore W1494752912C33923547 @default.
- W1494752912 hasConceptScore W1494752912C34447519 @default.
- W1494752912 hasConceptScore W1494752912C41008148 @default.
- W1494752912 hasConceptScore W1494752912C45374587 @default.
- W1494752912 hasConceptScore W1494752912C48415503 @default.
- W1494752912 hasConceptScore W1494752912C62520636 @default.
- W1494752912 hasConceptScore W1494752912C90559484 @default.
- W1494752912 hasConceptScore W1494752912C9870796 @default.
- W1494752912 hasLocation W14947529121 @default.
- W1494752912 hasLocation W14947529122 @default.
- W1494752912 hasOpenAccess W1494752912 @default.
- W1494752912 hasPrimaryLocation W14947529121 @default.
- W1494752912 hasRelatedWork W1486286946 @default.
- W1494752912 hasRelatedWork W1488847221 @default.
- W1494752912 hasRelatedWork W1494752912 @default.
- W1494752912 hasRelatedWork W1547393828 @default.
- W1494752912 hasRelatedWork W2088158977 @default.
- W1494752912 hasRelatedWork W2149708996 @default.
- W1494752912 hasRelatedWork W2963851614 @default.
- W1494752912 hasRelatedWork W3215479332 @default.
- W1494752912 hasRelatedWork W45311726 @default.
- W1494752912 hasRelatedWork W2096844403 @default.
- W1494752912 isParatext "false" @default.
- W1494752912 isRetracted "false" @default.
- W1494752912 magId "1494752912" @default.
- W1494752912 workType "book-chapter" @default.