Matches in SemOpenAlex for { <https://semopenalex.org/work/W1643824286> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W1643824286 abstract "For formulas F of propositional calculus I introduce a MF and show how it can be used to define an algorithm for testing satisfiability. MF is a formula which is true/false under all possible truth assignments iff F is satisfiable/unsatisfiable. In this sense MF is a metavariable with the meaning 'F is SAT'. For constructing MF a group of transformations of the basic variables ai is used which corresponds to 'flipping literals to their negation. The whole procedure corresponds to branching algorithms where a formula is split with respect to the truth values of its variables, one by one. Each branching step corresponds to an approximation to the metatheorem which doubles the chance to find a satisfying truth assignment but also doubles the length of the formulas to be tested, in principle. Simplifications arise by additional length reductions. I also discuss the notion of logical and show that each formula can be written as a uniquely defined product of such prime factors. Satisfying truth assignments can be found by determining the missing primes in the factorization of a formula." @default.
- W1643824286 created "2016-06-24" @default.
- W1643824286 creator A5068675473 @default.
- W1643824286 date "2009-11-09" @default.
- W1643824286 modified "2023-09-27" @default.
- W1643824286 title "Logical Primes, Metavariables and Satisfiability" @default.
- W1643824286 cites W117707387 @default.
- W1643824286 hasPublicationYear "2009" @default.
- W1643824286 type Work @default.
- W1643824286 sameAs 1643824286 @default.
- W1643824286 citedByCount "1" @default.
- W1643824286 crossrefType "posted-content" @default.
- W1643824286 hasAuthorship W1643824286A5068675473 @default.
- W1643824286 hasConcept C102993220 @default.
- W1643824286 hasConcept C11413529 @default.
- W1643824286 hasConcept C114614502 @default.
- W1643824286 hasConcept C118615104 @default.
- W1643824286 hasConcept C14523651 @default.
- W1643824286 hasConcept C159985019 @default.
- W1643824286 hasConcept C168773769 @default.
- W1643824286 hasConcept C187834632 @default.
- W1643824286 hasConcept C192562407 @default.
- W1643824286 hasConcept C199360897 @default.
- W1643824286 hasConcept C206175624 @default.
- W1643824286 hasConcept C2185349 @default.
- W1643824286 hasConcept C33203268 @default.
- W1643824286 hasConcept C33923547 @default.
- W1643824286 hasConcept C37754750 @default.
- W1643824286 hasConcept C41008148 @default.
- W1643824286 hasConcept C46274116 @default.
- W1643824286 hasConcept C56949724 @default.
- W1643824286 hasConcept C6943359 @default.
- W1643824286 hasConcept C69562738 @default.
- W1643824286 hasConcept C74640108 @default.
- W1643824286 hasConcept C80444323 @default.
- W1643824286 hasConceptScore W1643824286C102993220 @default.
- W1643824286 hasConceptScore W1643824286C11413529 @default.
- W1643824286 hasConceptScore W1643824286C114614502 @default.
- W1643824286 hasConceptScore W1643824286C118615104 @default.
- W1643824286 hasConceptScore W1643824286C14523651 @default.
- W1643824286 hasConceptScore W1643824286C159985019 @default.
- W1643824286 hasConceptScore W1643824286C168773769 @default.
- W1643824286 hasConceptScore W1643824286C187834632 @default.
- W1643824286 hasConceptScore W1643824286C192562407 @default.
- W1643824286 hasConceptScore W1643824286C199360897 @default.
- W1643824286 hasConceptScore W1643824286C206175624 @default.
- W1643824286 hasConceptScore W1643824286C2185349 @default.
- W1643824286 hasConceptScore W1643824286C33203268 @default.
- W1643824286 hasConceptScore W1643824286C33923547 @default.
- W1643824286 hasConceptScore W1643824286C37754750 @default.
- W1643824286 hasConceptScore W1643824286C41008148 @default.
- W1643824286 hasConceptScore W1643824286C46274116 @default.
- W1643824286 hasConceptScore W1643824286C56949724 @default.
- W1643824286 hasConceptScore W1643824286C6943359 @default.
- W1643824286 hasConceptScore W1643824286C69562738 @default.
- W1643824286 hasConceptScore W1643824286C74640108 @default.
- W1643824286 hasConceptScore W1643824286C80444323 @default.
- W1643824286 hasLocation W16438242861 @default.
- W1643824286 hasOpenAccess W1643824286 @default.
- W1643824286 hasPrimaryLocation W16438242861 @default.
- W1643824286 hasRelatedWork W1513628728 @default.
- W1643824286 hasRelatedWork W1530996181 @default.
- W1643824286 hasRelatedWork W1558838990 @default.
- W1643824286 hasRelatedWork W1594413440 @default.
- W1643824286 hasRelatedWork W1595759785 @default.
- W1643824286 hasRelatedWork W1830696394 @default.
- W1643824286 hasRelatedWork W1872010728 @default.
- W1643824286 hasRelatedWork W1967371089 @default.
- W1643824286 hasRelatedWork W1973612331 @default.
- W1643824286 hasRelatedWork W2023622935 @default.
- W1643824286 hasRelatedWork W2098530991 @default.
- W1643824286 hasRelatedWork W2109048726 @default.
- W1643824286 hasRelatedWork W2130229234 @default.
- W1643824286 hasRelatedWork W2157324300 @default.
- W1643824286 hasRelatedWork W230546785 @default.
- W1643824286 hasRelatedWork W2612504636 @default.
- W1643824286 hasRelatedWork W2687954006 @default.
- W1643824286 hasRelatedWork W2775217341 @default.
- W1643824286 hasRelatedWork W618838339 @default.
- W1643824286 hasRelatedWork W218721226 @default.
- W1643824286 isParatext "false" @default.
- W1643824286 isRetracted "false" @default.
- W1643824286 magId "1643824286" @default.
- W1643824286 workType "article" @default.