Matches in SemOpenAlex for { <https://semopenalex.org/work/W181984912> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W181984912 abstract "We introduce a parameterized class M(p) of unsatisfiable formulas that specify equivalence checking of Boolean circuits. If the parameter p is fixed, a formula of M(p) can be solved in general resolution in a linear number of resolutions. On the other hand, even though there is a polynomial time deterministic algorithm that solves formulas from M(p), the order of the polynomial is a monotone increasing function of parameter p. We give reasons why resolution based SAT-algorithms should have poor performance on this very “easy” class of formulas and provide experimental evidence that this is indeed the case." @default.
- W181984912 created "2016-06-24" @default.
- W181984912 creator A5028069935 @default.
- W181984912 creator A5022222469 @default.
- W181984912 date "2004-01-01" @default.
- W181984912 modified "2023-09-27" @default.
- W181984912 title "How Good Can a Resolution Based SAT-solver Be?" @default.
- W181984912 cites W1511155470 @default.
- W181984912 cites W1879281873 @default.
- W181984912 cites W1999069928 @default.
- W181984912 cites W2044560939 @default.
- W181984912 cites W2069767473 @default.
- W181984912 cites W2132148988 @default.
- W181984912 cites W2142785340 @default.
- W181984912 cites W4243399171 @default.
- W181984912 cites W4245630182 @default.
- W181984912 cites W4247585869 @default.
- W181984912 doi "https://doi.org/10.1007/978-3-540-24605-3_4" @default.
- W181984912 hasPublicationYear "2004" @default.
- W181984912 type Work @default.
- W181984912 sameAs 181984912 @default.
- W181984912 citedByCount "3" @default.
- W181984912 countsByYear W1819849122018 @default.
- W181984912 crossrefType "book-chapter" @default.
- W181984912 hasAuthorship W181984912A5022222469 @default.
- W181984912 hasAuthorship W181984912A5028069935 @default.
- W181984912 hasConcept C11413529 @default.
- W181984912 hasConcept C118615104 @default.
- W181984912 hasConcept C134306372 @default.
- W181984912 hasConcept C138268822 @default.
- W181984912 hasConcept C14036430 @default.
- W181984912 hasConcept C141796577 @default.
- W181984912 hasConcept C154945302 @default.
- W181984912 hasConcept C165464430 @default.
- W181984912 hasConcept C187455244 @default.
- W181984912 hasConcept C199360897 @default.
- W181984912 hasConcept C200415742 @default.
- W181984912 hasConcept C2524010 @default.
- W181984912 hasConcept C2777212361 @default.
- W181984912 hasConcept C2778770139 @default.
- W181984912 hasConcept C2780069185 @default.
- W181984912 hasConcept C2834757 @default.
- W181984912 hasConcept C311688 @default.
- W181984912 hasConcept C33923547 @default.
- W181984912 hasConcept C41008148 @default.
- W181984912 hasConcept C6943359 @default.
- W181984912 hasConcept C78458016 @default.
- W181984912 hasConcept C86803240 @default.
- W181984912 hasConcept C90119067 @default.
- W181984912 hasConceptScore W181984912C11413529 @default.
- W181984912 hasConceptScore W181984912C118615104 @default.
- W181984912 hasConceptScore W181984912C134306372 @default.
- W181984912 hasConceptScore W181984912C138268822 @default.
- W181984912 hasConceptScore W181984912C14036430 @default.
- W181984912 hasConceptScore W181984912C141796577 @default.
- W181984912 hasConceptScore W181984912C154945302 @default.
- W181984912 hasConceptScore W181984912C165464430 @default.
- W181984912 hasConceptScore W181984912C187455244 @default.
- W181984912 hasConceptScore W181984912C199360897 @default.
- W181984912 hasConceptScore W181984912C200415742 @default.
- W181984912 hasConceptScore W181984912C2524010 @default.
- W181984912 hasConceptScore W181984912C2777212361 @default.
- W181984912 hasConceptScore W181984912C2778770139 @default.
- W181984912 hasConceptScore W181984912C2780069185 @default.
- W181984912 hasConceptScore W181984912C2834757 @default.
- W181984912 hasConceptScore W181984912C311688 @default.
- W181984912 hasConceptScore W181984912C33923547 @default.
- W181984912 hasConceptScore W181984912C41008148 @default.
- W181984912 hasConceptScore W181984912C6943359 @default.
- W181984912 hasConceptScore W181984912C78458016 @default.
- W181984912 hasConceptScore W181984912C86803240 @default.
- W181984912 hasConceptScore W181984912C90119067 @default.
- W181984912 hasLocation W1819849121 @default.
- W181984912 hasOpenAccess W181984912 @default.
- W181984912 hasPrimaryLocation W1819849121 @default.
- W181984912 hasRelatedWork W132623865 @default.
- W181984912 hasRelatedWork W1508540172 @default.
- W181984912 hasRelatedWork W1846620366 @default.
- W181984912 hasRelatedWork W2080076943 @default.
- W181984912 hasRelatedWork W2329750164 @default.
- W181984912 hasRelatedWork W2335729884 @default.
- W181984912 hasRelatedWork W2397473788 @default.
- W181984912 hasRelatedWork W271412832 @default.
- W181984912 hasRelatedWork W3161430837 @default.
- W181984912 hasRelatedWork W2491820882 @default.
- W181984912 isParatext "false" @default.
- W181984912 isRetracted "false" @default.
- W181984912 magId "181984912" @default.
- W181984912 workType "book-chapter" @default.