Matches in SemOpenAlex for { <https://semopenalex.org/work/W3044773971> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W3044773971 endingPage "1407" @default.
- W3044773971 startingPage "1392" @default.
- W3044773971 abstract "The satisfiability of a given branching program is to determine whether there exists a consistent path from the root to 1-sink. In a syntactic read-k-times branching program, each variable appears at most k times in any path from the root to a sink. In a preliminary version of this paper, we provide a satisfiability algorithm for syntactic read-k-times branching programs with n variables and m edges that runs in time $Oleft (text {poly}(n, m^{k^{2}})cdot 2^{(1-4^{-k-1})n}right )$ . In this paper, we improve the bounds for k = 2. More precisely, we show that the satisfiability of syntactic read-twice branching programs can be solved in time $Oleft (text {poly}(n, m)cdot 2^{5n/6}right )$ . Our algorithm is based on the decomposition technique shown by Borodin, Razborov and Smolensky [Computational Complexity, 1993]." @default.
- W3044773971 created "2020-07-29" @default.
- W3044773971 creator A5037874806 @default.
- W3044773971 creator A5046112584 @default.
- W3044773971 creator A5064046708 @default.
- W3044773971 date "2020-07-27" @default.
- W3044773971 modified "2023-09-27" @default.
- W3044773971 title "Satisfiability Algorithm for Syntactic Read-k-times Branching Programs" @default.
- W3044773971 cites W1608148480 @default.
- W3044773971 cites W1974632918 @default.
- W3044773971 cites W2001736707 @default.
- W3044773971 cites W2004130530 @default.
- W3044773971 cites W2005223599 @default.
- W3044773971 cites W2006787007 @default.
- W3044773971 cites W2016590269 @default.
- W3044773971 cites W2063729784 @default.
- W3044773971 cites W2073505535 @default.
- W3044773971 cites W2095012419 @default.
- W3044773971 cites W2178011018 @default.
- W3044773971 cites W2408681863 @default.
- W3044773971 cites W32438244 @default.
- W3044773971 cites W4205582340 @default.
- W3044773971 cites W4240781210 @default.
- W3044773971 doi "https://doi.org/10.1007/s00224-020-09996-3" @default.
- W3044773971 hasPublicationYear "2020" @default.
- W3044773971 type Work @default.
- W3044773971 sameAs 3044773971 @default.
- W3044773971 citedByCount "1" @default.
- W3044773971 countsByYear W30447739712022 @default.
- W3044773971 crossrefType "journal-article" @default.
- W3044773971 hasAuthorship W3044773971A5037874806 @default.
- W3044773971 hasAuthorship W3044773971A5046112584 @default.
- W3044773971 hasAuthorship W3044773971A5064046708 @default.
- W3044773971 hasBestOaLocation W30447739712 @default.
- W3044773971 hasConcept C11413529 @default.
- W3044773971 hasConcept C114614502 @default.
- W3044773971 hasConcept C118615104 @default.
- W3044773971 hasConcept C168773769 @default.
- W3044773971 hasConcept C178790620 @default.
- W3044773971 hasConcept C185592680 @default.
- W3044773971 hasConcept C199360897 @default.
- W3044773971 hasConcept C206175624 @default.
- W3044773971 hasConcept C2777735758 @default.
- W3044773971 hasConcept C3017489831 @default.
- W3044773971 hasConcept C311688 @default.
- W3044773971 hasConcept C33923547 @default.
- W3044773971 hasConcept C41008148 @default.
- W3044773971 hasConcept C6943359 @default.
- W3044773971 hasConceptScore W3044773971C11413529 @default.
- W3044773971 hasConceptScore W3044773971C114614502 @default.
- W3044773971 hasConceptScore W3044773971C118615104 @default.
- W3044773971 hasConceptScore W3044773971C168773769 @default.
- W3044773971 hasConceptScore W3044773971C178790620 @default.
- W3044773971 hasConceptScore W3044773971C185592680 @default.
- W3044773971 hasConceptScore W3044773971C199360897 @default.
- W3044773971 hasConceptScore W3044773971C206175624 @default.
- W3044773971 hasConceptScore W3044773971C2777735758 @default.
- W3044773971 hasConceptScore W3044773971C3017489831 @default.
- W3044773971 hasConceptScore W3044773971C311688 @default.
- W3044773971 hasConceptScore W3044773971C33923547 @default.
- W3044773971 hasConceptScore W3044773971C41008148 @default.
- W3044773971 hasConceptScore W3044773971C6943359 @default.
- W3044773971 hasFunder F4320334764 @default.
- W3044773971 hasFunder F4320338075 @default.
- W3044773971 hasIssue "8" @default.
- W3044773971 hasLocation W30447739711 @default.
- W3044773971 hasLocation W30447739712 @default.
- W3044773971 hasOpenAccess W3044773971 @default.
- W3044773971 hasPrimaryLocation W30447739711 @default.
- W3044773971 hasRelatedWork W1983171306 @default.
- W3044773971 hasRelatedWork W2021372200 @default.
- W3044773971 hasRelatedWork W2173621488 @default.
- W3044773971 hasRelatedWork W2235115558 @default.
- W3044773971 hasRelatedWork W2393991754 @default.
- W3044773971 hasRelatedWork W264823163 @default.
- W3044773971 hasRelatedWork W3044773971 @default.
- W3044773971 hasRelatedWork W3136261533 @default.
- W3044773971 hasRelatedWork W2314909417 @default.
- W3044773971 hasRelatedWork W2480714386 @default.
- W3044773971 hasVolume "64" @default.
- W3044773971 isParatext "false" @default.
- W3044773971 isRetracted "false" @default.
- W3044773971 magId "3044773971" @default.
- W3044773971 workType "article" @default.