Matches in SemOpenAlex for { <https://semopenalex.org/work/W2891316961> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2891316961 startingPage "20" @default.
- W2891316961 abstract "We show that there is a zero-error randomized algorithm that, when given a small constant-depth Boolean circuit C made up of gates that compute constant-degree Polynomial Threshold functions or PTFs (i.e., Boolean functions that compute signs of constant-degree polynomials), counts the number of satisfying assignments to C in significantly better than brute-force time.Formally, for any constants d,k, there is an epsilon > 0 such that the zero-error randomized algorithm counts the number of satisfying assignments to a given depth-d circuit C made up of k-PTF gates such that C has size at most n^{1+epsilon}. The algorithm runs in time 2^{n-n^{Omega(epsilon)}}.Before our result, no algorithm for beating brute-force search was known for counting the number of satisfying assignments even for a single degree-k PTF (which is a depth-1 circuit of linear size).The main new tool is the use of a learning algorithm for learning degree-1 PTFs (or Linear Threshold Functions) using comparison queries due to Kane, Lovett, Moran and Zhang (FOCS 2017). We show that their ideas fit nicely into a memoization approach that yields the #SAT algorithms." @default.
- W2891316961 created "2018-09-27" @default.
- W2891316961 creator A5025305994 @default.
- W2891316961 creator A5048611967 @default.
- W2891316961 creator A5083072245 @default.
- W2891316961 creator A5087309847 @default.
- W2891316961 creator A5091672134 @default.
- W2891316961 date "2018-09-01" @default.
- W2891316961 modified "2023-09-24" @default.
- W2891316961 title "A #SAT Algorithm for Small Constant-Depth Circuits with PTF gates" @default.
- W2891316961 doi "https://doi.org/10.4230/lipics.itcs.2019.8" @default.
- W2891316961 hasPublicationYear "2018" @default.
- W2891316961 type Work @default.
- W2891316961 sameAs 2891316961 @default.
- W2891316961 citedByCount "1" @default.
- W2891316961 countsByYear W28913169612020 @default.
- W2891316961 crossrefType "proceedings-article" @default.
- W2891316961 hasAuthorship W2891316961A5025305994 @default.
- W2891316961 hasAuthorship W2891316961A5048611967 @default.
- W2891316961 hasAuthorship W2891316961A5083072245 @default.
- W2891316961 hasAuthorship W2891316961A5087309847 @default.
- W2891316961 hasAuthorship W2891316961A5091672134 @default.
- W2891316961 hasConcept C111797529 @default.
- W2891316961 hasConcept C11413529 @default.
- W2891316961 hasConcept C114614502 @default.
- W2891316961 hasConcept C118615104 @default.
- W2891316961 hasConcept C121332964 @default.
- W2891316961 hasConcept C128669082 @default.
- W2891316961 hasConcept C134306372 @default.
- W2891316961 hasConcept C14036430 @default.
- W2891316961 hasConcept C141796577 @default.
- W2891316961 hasConcept C187455244 @default.
- W2891316961 hasConcept C199360897 @default.
- W2891316961 hasConcept C24890656 @default.
- W2891316961 hasConcept C2775997480 @default.
- W2891316961 hasConcept C2777027219 @default.
- W2891316961 hasConcept C33923547 @default.
- W2891316961 hasConcept C41008148 @default.
- W2891316961 hasConcept C63553672 @default.
- W2891316961 hasConcept C78458016 @default.
- W2891316961 hasConcept C86803240 @default.
- W2891316961 hasConcept C90119067 @default.
- W2891316961 hasConceptScore W2891316961C111797529 @default.
- W2891316961 hasConceptScore W2891316961C11413529 @default.
- W2891316961 hasConceptScore W2891316961C114614502 @default.
- W2891316961 hasConceptScore W2891316961C118615104 @default.
- W2891316961 hasConceptScore W2891316961C121332964 @default.
- W2891316961 hasConceptScore W2891316961C128669082 @default.
- W2891316961 hasConceptScore W2891316961C134306372 @default.
- W2891316961 hasConceptScore W2891316961C14036430 @default.
- W2891316961 hasConceptScore W2891316961C141796577 @default.
- W2891316961 hasConceptScore W2891316961C187455244 @default.
- W2891316961 hasConceptScore W2891316961C199360897 @default.
- W2891316961 hasConceptScore W2891316961C24890656 @default.
- W2891316961 hasConceptScore W2891316961C2775997480 @default.
- W2891316961 hasConceptScore W2891316961C2777027219 @default.
- W2891316961 hasConceptScore W2891316961C33923547 @default.
- W2891316961 hasConceptScore W2891316961C41008148 @default.
- W2891316961 hasConceptScore W2891316961C63553672 @default.
- W2891316961 hasConceptScore W2891316961C78458016 @default.
- W2891316961 hasConceptScore W2891316961C86803240 @default.
- W2891316961 hasConceptScore W2891316961C90119067 @default.
- W2891316961 hasLocation W28913169611 @default.
- W2891316961 hasOpenAccess W2891316961 @default.
- W2891316961 hasPrimaryLocation W28913169611 @default.
- W2891316961 hasRelatedWork W142179613 @default.
- W2891316961 hasRelatedWork W1486564402 @default.
- W2891316961 hasRelatedWork W1494759436 @default.
- W2891316961 hasRelatedWork W1794695164 @default.
- W2891316961 hasRelatedWork W1974392368 @default.
- W2891316961 hasRelatedWork W2033943710 @default.
- W2891316961 hasRelatedWork W2131866098 @default.
- W2891316961 hasRelatedWork W2179261203 @default.
- W2891316961 hasRelatedWork W2223137809 @default.
- W2891316961 hasRelatedWork W2568071471 @default.
- W2891316961 hasRelatedWork W2794995312 @default.
- W2891316961 hasRelatedWork W2810542790 @default.
- W2891316961 hasRelatedWork W2810741936 @default.
- W2891316961 hasRelatedWork W2903624883 @default.
- W2891316961 hasRelatedWork W2952032150 @default.
- W2891316961 hasRelatedWork W2953085912 @default.
- W2891316961 hasRelatedWork W2979867979 @default.
- W2891316961 hasRelatedWork W3022848472 @default.
- W2891316961 hasRelatedWork W3146654058 @default.
- W2891316961 hasRelatedWork W3204151990 @default.
- W2891316961 isParatext "false" @default.
- W2891316961 isRetracted "false" @default.
- W2891316961 magId "2891316961" @default.
- W2891316961 workType "article" @default.