Matches in SemOpenAlex for { <https://semopenalex.org/work/W2017181131> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2017181131 endingPage "3439" @default.
- W2017181131 startingPage "3424" @default.
- W2017181131 abstract "Given the prime conjunctive normal form (CNF) representation $phi$ of a monotone Boolean function $f:{0,1}^nto{0,1}$, the dualization problem calls for finding the corresponding prime disjunctive normal form representation $psi$ of f. A very simple method works by multiplying out the clauses of $phi$ from left to right in some order, simplifying whenever possible by using the absorption law. We show that for any monotone CNF $phi$, left-to-right multiplication can be done in subexponential time, and for many interesting subclasses of monotone CNFs such as those with bounded size, bounded degree, bounded intersection, bounded conformality, and read-once formula, it can be done in polynomial or quasi-polynomial time." @default.
- W2017181131 created "2016-06-24" @default.
- W2017181131 creator A5000070192 @default.
- W2017181131 creator A5029292642 @default.
- W2017181131 creator A5057621825 @default.
- W2017181131 date "2010-01-01" @default.
- W2017181131 modified "2023-09-25" @default.
- W2017181131 title "Left-to-Right Multiplication for Monotone Boolean Dualization" @default.
- W2017181131 doi "https://doi.org/10.1137/080734881" @default.
- W2017181131 hasPublicationYear "2010" @default.
- W2017181131 type Work @default.
- W2017181131 sameAs 2017181131 @default.
- W2017181131 citedByCount "3" @default.
- W2017181131 countsByYear W20171811312014 @default.
- W2017181131 countsByYear W20171811312017 @default.
- W2017181131 crossrefType "journal-article" @default.
- W2017181131 hasAuthorship W2017181131A5000070192 @default.
- W2017181131 hasAuthorship W2017181131A5029292642 @default.
- W2017181131 hasAuthorship W2017181131A5057621825 @default.
- W2017181131 hasConcept C114614502 @default.
- W2017181131 hasConcept C118615104 @default.
- W2017181131 hasConcept C127413603 @default.
- W2017181131 hasConcept C134306372 @default.
- W2017181131 hasConcept C14036430 @default.
- W2017181131 hasConcept C146978453 @default.
- W2017181131 hasConcept C16221470 @default.
- W2017181131 hasConcept C17744445 @default.
- W2017181131 hasConcept C184992742 @default.
- W2017181131 hasConcept C187455244 @default.
- W2017181131 hasConcept C199539241 @default.
- W2017181131 hasConcept C2524010 @default.
- W2017181131 hasConcept C2776359362 @default.
- W2017181131 hasConcept C2780595030 @default.
- W2017181131 hasConcept C2834757 @default.
- W2017181131 hasConcept C33923547 @default.
- W2017181131 hasConcept C34388435 @default.
- W2017181131 hasConcept C64543145 @default.
- W2017181131 hasConcept C78458016 @default.
- W2017181131 hasConcept C86803240 @default.
- W2017181131 hasConcept C90119067 @default.
- W2017181131 hasConcept C94625758 @default.
- W2017181131 hasConceptScore W2017181131C114614502 @default.
- W2017181131 hasConceptScore W2017181131C118615104 @default.
- W2017181131 hasConceptScore W2017181131C127413603 @default.
- W2017181131 hasConceptScore W2017181131C134306372 @default.
- W2017181131 hasConceptScore W2017181131C14036430 @default.
- W2017181131 hasConceptScore W2017181131C146978453 @default.
- W2017181131 hasConceptScore W2017181131C16221470 @default.
- W2017181131 hasConceptScore W2017181131C17744445 @default.
- W2017181131 hasConceptScore W2017181131C184992742 @default.
- W2017181131 hasConceptScore W2017181131C187455244 @default.
- W2017181131 hasConceptScore W2017181131C199539241 @default.
- W2017181131 hasConceptScore W2017181131C2524010 @default.
- W2017181131 hasConceptScore W2017181131C2776359362 @default.
- W2017181131 hasConceptScore W2017181131C2780595030 @default.
- W2017181131 hasConceptScore W2017181131C2834757 @default.
- W2017181131 hasConceptScore W2017181131C33923547 @default.
- W2017181131 hasConceptScore W2017181131C34388435 @default.
- W2017181131 hasConceptScore W2017181131C64543145 @default.
- W2017181131 hasConceptScore W2017181131C78458016 @default.
- W2017181131 hasConceptScore W2017181131C86803240 @default.
- W2017181131 hasConceptScore W2017181131C90119067 @default.
- W2017181131 hasConceptScore W2017181131C94625758 @default.
- W2017181131 hasIssue "7" @default.
- W2017181131 hasLocation W20171811311 @default.
- W2017181131 hasOpenAccess W2017181131 @default.
- W2017181131 hasPrimaryLocation W20171811311 @default.
- W2017181131 hasRelatedWork W1483931523 @default.
- W2017181131 hasRelatedWork W1594239811 @default.
- W2017181131 hasRelatedWork W1790852663 @default.
- W2017181131 hasRelatedWork W2017181131 @default.
- W2017181131 hasRelatedWork W2046898063 @default.
- W2017181131 hasRelatedWork W2075882682 @default.
- W2017181131 hasRelatedWork W2407218721 @default.
- W2017181131 hasRelatedWork W2786239647 @default.
- W2017181131 hasRelatedWork W2984191194 @default.
- W2017181131 hasRelatedWork W4299316956 @default.
- W2017181131 hasVolume "39" @default.
- W2017181131 isParatext "false" @default.
- W2017181131 isRetracted "false" @default.
- W2017181131 magId "2017181131" @default.
- W2017181131 workType "article" @default.