Matches in SemOpenAlex for { <https://semopenalex.org/work/W3136554470> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W3136554470 abstract "We introduce a new graph parameter called linear upper maximum induced matching width, denoted for a graph $G$ by $lu(G)$. We prove that the smallest size of the textsc{obdd} for $varphi$, the monotone 2-textsc{cnf} corresponding to $G$, is sandwiched between $2^{lu(G)}$ and $n^{O(lu(G))}$. The upper bound is based on a combinatorial statement that might be of an independent interest. We show that the bounds in terms of this parameter are best possible." @default.
- W3136554470 created "2021-03-29" @default.
- W3136554470 creator A5068912124 @default.
- W3136554470 date "2021-03-16" @default.
- W3136554470 modified "2023-09-27" @default.
- W3136554470 title "Classification of OBDD size for monotone 2-CNFs." @default.
- W3136554470 cites W143396352 @default.
- W3136554470 cites W1539278744 @default.
- W3136554470 cites W1986660301 @default.
- W3136554470 cites W2128906567 @default.
- W3136554470 cites W2287821450 @default.
- W3136554470 cites W2569520194 @default.
- W3136554470 cites W2962055031 @default.
- W3136554470 cites W2963024702 @default.
- W3136554470 cites W2963166380 @default.
- W3136554470 cites W2963271448 @default.
- W3136554470 cites W2963520829 @default.
- W3136554470 cites W2972989051 @default.
- W3136554470 cites W78054942 @default.
- W3136554470 hasPublicationYear "2021" @default.
- W3136554470 type Work @default.
- W3136554470 sameAs 3136554470 @default.
- W3136554470 citedByCount "0" @default.
- W3136554470 crossrefType "posted-content" @default.
- W3136554470 hasAuthorship W3136554470A5068912124 @default.
- W3136554470 hasConcept C105795698 @default.
- W3136554470 hasConcept C114614502 @default.
- W3136554470 hasConcept C118615104 @default.
- W3136554470 hasConcept C132525143 @default.
- W3136554470 hasConcept C134306372 @default.
- W3136554470 hasConcept C165064840 @default.
- W3136554470 hasConcept C2524010 @default.
- W3136554470 hasConcept C2834757 @default.
- W3136554470 hasConcept C33923547 @default.
- W3136554470 hasConcept C77553402 @default.
- W3136554470 hasConceptScore W3136554470C105795698 @default.
- W3136554470 hasConceptScore W3136554470C114614502 @default.
- W3136554470 hasConceptScore W3136554470C118615104 @default.
- W3136554470 hasConceptScore W3136554470C132525143 @default.
- W3136554470 hasConceptScore W3136554470C134306372 @default.
- W3136554470 hasConceptScore W3136554470C165064840 @default.
- W3136554470 hasConceptScore W3136554470C2524010 @default.
- W3136554470 hasConceptScore W3136554470C2834757 @default.
- W3136554470 hasConceptScore W3136554470C33923547 @default.
- W3136554470 hasConceptScore W3136554470C77553402 @default.
- W3136554470 hasLocation W31365544701 @default.
- W3136554470 hasOpenAccess W3136554470 @default.
- W3136554470 hasPrimaryLocation W31365544701 @default.
- W3136554470 hasRelatedWork W1577244476 @default.
- W3136554470 hasRelatedWork W1758579031 @default.
- W3136554470 hasRelatedWork W1930343750 @default.
- W3136554470 hasRelatedWork W2060363698 @default.
- W3136554470 hasRelatedWork W2061931042 @default.
- W3136554470 hasRelatedWork W2063951771 @default.
- W3136554470 hasRelatedWork W2165108720 @default.
- W3136554470 hasRelatedWork W2284257175 @default.
- W3136554470 hasRelatedWork W2540110070 @default.
- W3136554470 hasRelatedWork W2757545232 @default.
- W3136554470 hasRelatedWork W2785423886 @default.
- W3136554470 hasRelatedWork W2951288368 @default.
- W3136554470 hasRelatedWork W2951838648 @default.
- W3136554470 hasRelatedWork W2963923487 @default.
- W3136554470 hasRelatedWork W2981749766 @default.
- W3136554470 hasRelatedWork W3007661461 @default.
- W3136554470 hasRelatedWork W3084637480 @default.
- W3136554470 hasRelatedWork W3158696645 @default.
- W3136554470 hasRelatedWork W3160700943 @default.
- W3136554470 hasRelatedWork W3196414662 @default.
- W3136554470 isParatext "false" @default.
- W3136554470 isRetracted "false" @default.
- W3136554470 magId "3136554470" @default.
- W3136554470 workType "article" @default.