Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569272689> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W1569272689 abstract "We consider upper bounds for minimal resolution refutations of propositional formulas in CNF. We show that minimal refutations of minimal unsatisfiable formulas over n variables and n+k clauses consist of at most 2 k − 1 n 2 applications of the resolution rule." @default.
- W1569272689 created "2016-06-24" @default.
- W1569272689 creator A5037967044 @default.
- W1569272689 date "1999-01-01" @default.
- W1569272689 modified "2023-10-01" @default.
- W1569272689 title "An Upper Bound for Minimal Resolution Refutations" @default.
- W1569272689 cites W2015211698 @default.
- W1569272689 cites W2069767473 @default.
- W1569272689 cites W2098022011 @default.
- W1569272689 cites W2126420408 @default.
- W1569272689 doi "https://doi.org/10.1007/10703163_12" @default.
- W1569272689 hasPublicationYear "1999" @default.
- W1569272689 type Work @default.
- W1569272689 sameAs 1569272689 @default.
- W1569272689 citedByCount "13" @default.
- W1569272689 countsByYear W15692726892014 @default.
- W1569272689 countsByYear W15692726892021 @default.
- W1569272689 crossrefType "book-chapter" @default.
- W1569272689 hasAuthorship W1569272689A5037967044 @default.
- W1569272689 hasConcept C102993220 @default.
- W1569272689 hasConcept C11413529 @default.
- W1569272689 hasConcept C114614502 @default.
- W1569272689 hasConcept C118615104 @default.
- W1569272689 hasConcept C134306372 @default.
- W1569272689 hasConcept C138268822 @default.
- W1569272689 hasConcept C14523651 @default.
- W1569272689 hasConcept C154945302 @default.
- W1569272689 hasConcept C16221470 @default.
- W1569272689 hasConcept C33203268 @default.
- W1569272689 hasConcept C33923547 @default.
- W1569272689 hasConcept C41008148 @default.
- W1569272689 hasConcept C69562738 @default.
- W1569272689 hasConcept C74640108 @default.
- W1569272689 hasConcept C77553402 @default.
- W1569272689 hasConceptScore W1569272689C102993220 @default.
- W1569272689 hasConceptScore W1569272689C11413529 @default.
- W1569272689 hasConceptScore W1569272689C114614502 @default.
- W1569272689 hasConceptScore W1569272689C118615104 @default.
- W1569272689 hasConceptScore W1569272689C134306372 @default.
- W1569272689 hasConceptScore W1569272689C138268822 @default.
- W1569272689 hasConceptScore W1569272689C14523651 @default.
- W1569272689 hasConceptScore W1569272689C154945302 @default.
- W1569272689 hasConceptScore W1569272689C16221470 @default.
- W1569272689 hasConceptScore W1569272689C33203268 @default.
- W1569272689 hasConceptScore W1569272689C33923547 @default.
- W1569272689 hasConceptScore W1569272689C41008148 @default.
- W1569272689 hasConceptScore W1569272689C69562738 @default.
- W1569272689 hasConceptScore W1569272689C74640108 @default.
- W1569272689 hasConceptScore W1569272689C77553402 @default.
- W1569272689 hasLocation W15692726891 @default.
- W1569272689 hasOpenAccess W1569272689 @default.
- W1569272689 hasPrimaryLocation W15692726891 @default.
- W1569272689 hasRelatedWork W1516313231 @default.
- W1569272689 hasRelatedWork W1525293204 @default.
- W1569272689 hasRelatedWork W1552564877 @default.
- W1569272689 hasRelatedWork W1940223960 @default.
- W1569272689 hasRelatedWork W1957114827 @default.
- W1569272689 hasRelatedWork W1970251068 @default.
- W1569272689 hasRelatedWork W1978107969 @default.
- W1569272689 hasRelatedWork W2003979824 @default.
- W1569272689 hasRelatedWork W2014111643 @default.
- W1569272689 hasRelatedWork W2015211698 @default.
- W1569272689 hasRelatedWork W2033086906 @default.
- W1569272689 hasRelatedWork W2036265926 @default.
- W1569272689 hasRelatedWork W2042705674 @default.
- W1569272689 hasRelatedWork W2066749637 @default.
- W1569272689 hasRelatedWork W2070658982 @default.
- W1569272689 hasRelatedWork W2083806359 @default.
- W1569272689 hasRelatedWork W2090628192 @default.
- W1569272689 hasRelatedWork W2122241917 @default.
- W1569272689 hasRelatedWork W2141191281 @default.
- W1569272689 hasRelatedWork W2158505527 @default.
- W1569272689 isParatext "false" @default.
- W1569272689 isRetracted "false" @default.
- W1569272689 magId "1569272689" @default.
- W1569272689 workType "book-chapter" @default.