FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2102477571> ?p ?o ?g. }

• W2102477571 endingPage "972" @default.
• W2102477571 startingPage "961" @default.
• W2102477571 abstract "We consider the problem of efficiently enumerating the satisfying assignments to AC0 circuits. We give a zero-error randomized algorithm which takes an AC0 circuit as input and constructs a set of restrictions which partitions {0, 1}n so that under each restriction the value of the circuit is constant. Let d denote the depth of the circuit and cn denote the number of gates. This algorithm runs in time |C|2n(1-μc,d) where |C| is the size of the circuit for μc,d>1/O[lg c + g lg d]d&minus1 with probability at least 1−2−n.As a result, we get improved exponential time algorithms for AC0 circuit satisfiability and for counting solutions. In addition, we get an improved bound on the correlation of AC0 circuits with parity.As an important component of our analysis, we extend the Hastad Switching Lemma to handle multiple k-cnfs and k-dnfs." @default.
• W2102477571 created "2016-06-24" @default.
• W2102477571 creator A5002208831 @default.
• W2102477571 creator A5010390385 @default.
• W2102477571 creator A5036019559 @default.
• W2102477571 date "2012-01-17" @default.
• W2102477571 modified "2023-10-17" @default.
• W2102477571 title "A satisfiability algorithm for AC0" @default.
• W2102477571 cites W1563012911 @default.
• W2102477571 cites W1576180980 @default.
• W2102477571 cites W1974632918 @default.
• W2102477571 cites W1999396796 @default.
• W2102477571 cites W2004130530 @default.
• W2102477571 cites W2014111643 @default.
• W2102477571 cites W2017290750 @default.
• W2102477571 cites W2045924252 @default.
• W2102477571 cites W2049136377 @default.
• W2102477571 cites W2067983896 @default.
• W2102477571 cites W2079175807 @default.
• W2102477571 cites W2106793914 @default.
• W2102477571 cites W2126442135 @default.
• W2102477571 cites W2129969631 @default.
• W2102477571 cites W2134514766 @default.
• W2102477571 cites W2159892713 @default.
• W2102477571 cites W2165293955 @default.
• W2102477571 cites W2168704151 @default.
• W2102477571 cites W282603215 @default.
• W2102477571 cites W2952109563 @default.
• W2102477571 doi "https://doi.org/10.5555/2095116.2095193" @default.
• W2102477571 hasPublicationYear "2012" @default.
• W2102477571 type Work @default.
• W2102477571 sameAs 2102477571 @default.
• W2102477571 citedByCount "40" @default.
• W2102477571 countsByYear W21024775712012 @default.
• W2102477571 countsByYear W21024775712013 @default.
• W2102477571 countsByYear W21024775712014 @default.
• W2102477571 countsByYear W21024775712015 @default.
• W2102477571 countsByYear W21024775712016 @default.
• W2102477571 countsByYear W21024775712017 @default.
• W2102477571 countsByYear W21024775712018 @default.
• W2102477571 countsByYear W21024775712019 @default.
• W2102477571 countsByYear W21024775712020 @default.
• W2102477571 countsByYear W21024775712021 @default.
• W2102477571 crossrefType "proceedings-article" @default.
• W2102477571 hasAuthorship W2102477571A5002208831 @default.
• W2102477571 hasAuthorship W2102477571A5010390385 @default.
• W2102477571 hasAuthorship W2102477571A5036019559 @default.
• W2102477571 hasConcept C11413529 @default.
• W2102477571 hasConcept C114614502 @default.
• W2102477571 hasConcept C118615104 @default.
• W2102477571 hasConcept C128669082 @default.
• W2102477571 hasConcept C134306372 @default.
• W2102477571 hasConcept C151376022 @default.
• W2102477571 hasConcept C168773769 @default.
• W2102477571 hasConcept C18903297 @default.
• W2102477571 hasConcept C199360897 @default.
• W2102477571 hasConcept C2777027219 @default.
• W2102477571 hasConcept C2777759810 @default.
• W2102477571 hasConcept C33923547 @default.
• W2102477571 hasConcept C41008148 @default.
• W2102477571 hasConcept C46757340 @default.
• W2102477571 hasConcept C86803240 @default.
• W2102477571 hasConceptScore W2102477571C11413529 @default.
• W2102477571 hasConceptScore W2102477571C114614502 @default.
• W2102477571 hasConceptScore W2102477571C118615104 @default.
• W2102477571 hasConceptScore W2102477571C128669082 @default.
• W2102477571 hasConceptScore W2102477571C134306372 @default.
• W2102477571 hasConceptScore W2102477571C151376022 @default.
• W2102477571 hasConceptScore W2102477571C168773769 @default.
• W2102477571 hasConceptScore W2102477571C18903297 @default.
• W2102477571 hasConceptScore W2102477571C199360897 @default.
• W2102477571 hasConceptScore W2102477571C2777027219 @default.
• W2102477571 hasConceptScore W2102477571C2777759810 @default.
• W2102477571 hasConceptScore W2102477571C33923547 @default.
• W2102477571 hasConceptScore W2102477571C41008148 @default.
• W2102477571 hasConceptScore W2102477571C46757340 @default.
• W2102477571 hasConceptScore W2102477571C86803240 @default.
• W2102477571 hasLocation W21024775711 @default.
• W2102477571 hasOpenAccess W2102477571 @default.
• W2102477571 hasPrimaryLocation W21024775711 @default.
• W2102477571 hasRelatedWork W1576180980 @default.
• W2102477571 hasRelatedWork W1974632918 @default.
• W2102477571 hasRelatedWork W1985572324 @default.
• W2102477571 hasRelatedWork W1995725694 @default.
• W2102477571 hasRelatedWork W2004130530 @default.
• W2102477571 hasRelatedWork W2036656440 @default.
• W2102477571 hasRelatedWork W2042194938 @default.
• W2102477571 hasRelatedWork W2045924252 @default.
• W2102477571 hasRelatedWork W2050715481 @default.
• W2102477571 hasRelatedWork W2060270693 @default.
• W2102477571 hasRelatedWork W2067983896 @default.
• W2102477571 hasRelatedWork W2070678975 @default.
• W2102477571 hasRelatedWork W2083820240 @default.
• W2102477571 hasRelatedWork W2104306727 @default.
• W2102477571 hasRelatedWork W2106793914 @default.
• W2102477571 hasRelatedWork W2129969631 @default.
• W2102477571 hasRelatedWork W2158747250 @default.
• W2102477571 hasRelatedWork W2159892713 @default.

• next