Matches in SemOpenAlex for { <https://semopenalex.org/work/W2396756770> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W2396756770 startingPage "85" @default.
- W2396756770 abstract "It has been observed empirically that clause learning does not significantly improve the performance of a SAT solver when restricted to learning clauses of small width only. This experience is supported by lower bound theorems. It is shown that lower bounds on the runtime of width-restricted clause learning follow from resolution width lower bounds. This yields the first lower bounds on width-restricted clause learning for formulas in 3-CNF." @default.
- W2396756770 created "2016-06-24" @default.
- W2396756770 creator A5025624345 @default.
- W2396756770 creator A5058111762 @default.
- W2396756770 date "2010-01-01" @default.
- W2396756770 modified "2023-09-23" @default.
- W2396756770 title "Lower bounds for width-restricted clause learning on small width formulas." @default.
- W2396756770 hasPublicationYear "2010" @default.
- W2396756770 type Work @default.
- W2396756770 sameAs 2396756770 @default.
- W2396756770 citedByCount "0" @default.
- W2396756770 crossrefType "journal-article" @default.
- W2396756770 hasAuthorship W2396756770A5025624345 @default.
- W2396756770 hasAuthorship W2396756770A5058111762 @default.
- W2396756770 hasConcept C114614502 @default.
- W2396756770 hasConcept C118615104 @default.
- W2396756770 hasConcept C126255220 @default.
- W2396756770 hasConcept C134306372 @default.
- W2396756770 hasConcept C138268822 @default.
- W2396756770 hasConcept C154945302 @default.
- W2396756770 hasConcept C2778770139 @default.
- W2396756770 hasConcept C33923547 @default.
- W2396756770 hasConcept C41008148 @default.
- W2396756770 hasConcept C77553402 @default.
- W2396756770 hasConceptScore W2396756770C114614502 @default.
- W2396756770 hasConceptScore W2396756770C118615104 @default.
- W2396756770 hasConceptScore W2396756770C126255220 @default.
- W2396756770 hasConceptScore W2396756770C134306372 @default.
- W2396756770 hasConceptScore W2396756770C138268822 @default.
- W2396756770 hasConceptScore W2396756770C154945302 @default.
- W2396756770 hasConceptScore W2396756770C2778770139 @default.
- W2396756770 hasConceptScore W2396756770C33923547 @default.
- W2396756770 hasConceptScore W2396756770C41008148 @default.
- W2396756770 hasConceptScore W2396756770C77553402 @default.
- W2396756770 hasLocation W23967567701 @default.
- W2396756770 hasOpenAccess W2396756770 @default.
- W2396756770 hasPrimaryLocation W23967567701 @default.
- W2396756770 hasRelatedWork W1519724636 @default.
- W2396756770 hasRelatedWork W1545062387 @default.
- W2396756770 hasRelatedWork W1986633843 @default.
- W2396756770 hasRelatedWork W2028409924 @default.
- W2396756770 hasRelatedWork W2030387300 @default.
- W2396756770 hasRelatedWork W2033062504 @default.
- W2396756770 hasRelatedWork W2097113315 @default.
- W2396756770 hasRelatedWork W2114146217 @default.
- W2396756770 hasRelatedWork W2148808689 @default.
- W2396756770 hasRelatedWork W2149120558 @default.
- W2396756770 hasRelatedWork W2184386552 @default.
- W2396756770 hasRelatedWork W2288678542 @default.
- W2396756770 hasRelatedWork W2395257751 @default.
- W2396756770 hasRelatedWork W2408694618 @default.
- W2396756770 hasRelatedWork W2542610836 @default.
- W2396756770 hasRelatedWork W2768675866 @default.
- W2396756770 hasRelatedWork W2893293935 @default.
- W2396756770 hasRelatedWork W2951151158 @default.
- W2396756770 hasRelatedWork W2952586885 @default.
- W2396756770 hasRelatedWork W3121907121 @default.
- W2396756770 hasVolume "17" @default.
- W2396756770 isParatext "false" @default.
- W2396756770 isRetracted "false" @default.
- W2396756770 magId "2396756770" @default.
- W2396756770 workType "article" @default.