Matches in SemOpenAlex for { <https://semopenalex.org/work/W2361816368> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2361816368 endingPage "235" @default.
- W2361816368 startingPage "225" @default.
- W2361816368 abstract "A homomorphism of CNF formulas from H to F is a function mapping the set of literals in H to the set of literals in F and it preserves complements and clauses. If the formula H is homomorphic to the formula F, then the unsat isfiability of H implies the unsatisfiability of F. A CNF formula F is minimal unsatisfiable if F is unsatisfiable and the resulting formula deleting anyone clause from F is satisfiable. MU( 1) is a class of minimal unsatisfiable formulas with the deficiency of the number of clauses and variables to be one. S. Szeider proved that for each unsatisfiable formula F there exists a formula H in MU( 1) and ahomomorphism : H→F. Whence, the proof system based on homomorphism from MU ( 1 ) and the tree resolution proof system are p-equivalent.A MU{ 1) formula can be represented by basic matrix. In this paper, we present a new proof of the completeness of the proof system ПMU(1) ky the method of basic matrix." @default.
- W2361816368 created "2016-06-24" @default.
- W2361816368 creator A5030100878 @default.
- W2361816368 date "2003-01-01" @default.
- W2361816368 modified "2023-09-24" @default.
- W2361816368 title "Complete Proof Systems for Unsatisfiable Formulas" @default.
- W2361816368 hasPublicationYear "2003" @default.
- W2361816368 type Work @default.
- W2361816368 sameAs 2361816368 @default.
- W2361816368 citedByCount "0" @default.
- W2361816368 crossrefType "journal-article" @default.
- W2361816368 hasAuthorship W2361816368A5030100878 @default.
- W2361816368 hasConcept C102993220 @default.
- W2361816368 hasConcept C114614502 @default.
- W2361816368 hasConcept C118615104 @default.
- W2361816368 hasConcept C138268822 @default.
- W2361816368 hasConcept C14523651 @default.
- W2361816368 hasConcept C154945302 @default.
- W2361816368 hasConcept C16221470 @default.
- W2361816368 hasConcept C199360897 @default.
- W2361816368 hasConcept C33203268 @default.
- W2361816368 hasConcept C33923547 @default.
- W2361816368 hasConcept C4042151 @default.
- W2361816368 hasConcept C41008148 @default.
- W2361816368 hasConcept C74640108 @default.
- W2361816368 hasConceptScore W2361816368C102993220 @default.
- W2361816368 hasConceptScore W2361816368C114614502 @default.
- W2361816368 hasConceptScore W2361816368C118615104 @default.
- W2361816368 hasConceptScore W2361816368C138268822 @default.
- W2361816368 hasConceptScore W2361816368C14523651 @default.
- W2361816368 hasConceptScore W2361816368C154945302 @default.
- W2361816368 hasConceptScore W2361816368C16221470 @default.
- W2361816368 hasConceptScore W2361816368C199360897 @default.
- W2361816368 hasConceptScore W2361816368C33203268 @default.
- W2361816368 hasConceptScore W2361816368C33923547 @default.
- W2361816368 hasConceptScore W2361816368C4042151 @default.
- W2361816368 hasConceptScore W2361816368C41008148 @default.
- W2361816368 hasConceptScore W2361816368C74640108 @default.
- W2361816368 hasIssue "3" @default.
- W2361816368 hasLocation W23618163681 @default.
- W2361816368 hasOpenAccess W2361816368 @default.
- W2361816368 hasPrimaryLocation W23618163681 @default.
- W2361816368 hasRelatedWork W1525293204 @default.
- W2361816368 hasRelatedWork W1539489476 @default.
- W2361816368 hasRelatedWork W1574125301 @default.
- W2361816368 hasRelatedWork W1633286018 @default.
- W2361816368 hasRelatedWork W1996958432 @default.
- W2361816368 hasRelatedWork W2002651865 @default.
- W2361816368 hasRelatedWork W2032544829 @default.
- W2361816368 hasRelatedWork W2063042358 @default.
- W2361816368 hasRelatedWork W2070658982 @default.
- W2361816368 hasRelatedWork W2129538008 @default.
- W2361816368 hasRelatedWork W2140327811 @default.
- W2361816368 hasRelatedWork W2275226011 @default.
- W2361816368 hasRelatedWork W2360321538 @default.
- W2361816368 hasRelatedWork W2366652024 @default.
- W2361816368 hasRelatedWork W2368599666 @default.
- W2361816368 hasRelatedWork W2375879835 @default.
- W2361816368 hasRelatedWork W2392166278 @default.
- W2361816368 hasRelatedWork W2946141181 @default.
- W2361816368 hasRelatedWork W2951685214 @default.
- W2361816368 hasRelatedWork W2962941898 @default.
- W2361816368 hasVolume "20" @default.
- W2361816368 isParatext "false" @default.
- W2361816368 isRetracted "false" @default.
- W2361816368 magId "2361816368" @default.
- W2361816368 workType "article" @default.