Matches in SemOpenAlex for { <https://semopenalex.org/work/W1507251275> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W1507251275 endingPage "23" @default.
- W1507251275 startingPage "1" @default.
- W1507251275 abstract "Using auxiliary variables to introduce definitions is a popular and powerful technique in knowledge representation which can lead to shorter and more natural encodings without long repetitions. In this paper, we formally define the notion of auxiliary variables and then examine their expressive power and discuss interesting applications.We relate the idea of reusing intermediate results without copying by definitions to similar concepts in other representations of Boolean functions. In particular, we show that propositional logic with definitions has essentially the same expressive power as Boolean circuits with arbitrary fan-out and existentially quantified Boolean formulas in which the bound variables satisfy the Horn property (called ∃HORN(superscript b)).The paper also considers restrictions on the structure of definitions and extensions of propositional definitions. In particular, we examine the relationship between positive propositional definitions and positive definitions with existential quantification or, equivalently, the relationship between ∃HORN(superscript b) formulas and existentially quantified CNF formulas without the Horn restriction on the bound variables (∃CNF(superscript *)). A further extension is to allow arbitrary quantifiers or, equivalently, nesting of Boolean formulas. The expressive power of the bound variables in a quantified CNF formula is shown to be determined by the structure of minimal unsatisfiable or minimal false subformulas of the bound parts of the clauses." @default.
- W1507251275 created "2016-06-24" @default.
- W1507251275 creator A5037967044 @default.
- W1507251275 creator A5048065628 @default.
- W1507251275 date "2010-09-18" @default.
- W1507251275 modified "2023-10-01" @default.
- W1507251275 title "The Power of Auxiliary Variables for Propositional and Quantified Boolean Formulas" @default.
- W1507251275 cites W106552629 @default.
- W1507251275 cites W1517585663 @default.
- W1507251275 cites W1570891932 @default.
- W1507251275 cites W1605407652 @default.
- W1507251275 cites W1667362966 @default.
- W1507251275 cites W1787074469 @default.
- W1507251275 cites W1976876676 @default.
- W1507251275 cites W1996184580 @default.
- W1507251275 cites W1997158981 @default.
- W1507251275 cites W1998084650 @default.
- W1507251275 cites W1999997889 @default.
- W1507251275 cites W2020852751 @default.
- W1507251275 cites W2031823362 @default.
- W1507251275 cites W2049462023 @default.
- W1507251275 cites W2065251436 @default.
- W1507251275 cites W2069767473 @default.
- W1507251275 cites W2100738443 @default.
- W1507251275 cites W2105942091 @default.
- W1507251275 cites W2133527541 @default.
- W1507251275 hasPublicationYear "2010" @default.
- W1507251275 type Work @default.
- W1507251275 sameAs 1507251275 @default.
- W1507251275 citedByCount "2" @default.
- W1507251275 countsByYear W15072512752014 @default.
- W1507251275 countsByYear W15072512752020 @default.
- W1507251275 crossrefType "journal-article" @default.
- W1507251275 hasAuthorship W1507251275A5037967044 @default.
- W1507251275 hasAuthorship W1507251275A5048065628 @default.
- W1507251275 hasConcept C102993220 @default.
- W1507251275 hasConcept C118615104 @default.
- W1507251275 hasConcept C14523651 @default.
- W1507251275 hasConcept C158465420 @default.
- W1507251275 hasConcept C17744445 @default.
- W1507251275 hasConcept C187455244 @default.
- W1507251275 hasConcept C195818886 @default.
- W1507251275 hasConcept C199539241 @default.
- W1507251275 hasConcept C2776359362 @default.
- W1507251275 hasConcept C33203268 @default.
- W1507251275 hasConcept C33923547 @default.
- W1507251275 hasConcept C41008148 @default.
- W1507251275 hasConcept C69562738 @default.
- W1507251275 hasConcept C7342684 @default.
- W1507251275 hasConcept C74640108 @default.
- W1507251275 hasConcept C80444323 @default.
- W1507251275 hasConcept C94625758 @default.
- W1507251275 hasConceptScore W1507251275C102993220 @default.
- W1507251275 hasConceptScore W1507251275C118615104 @default.
- W1507251275 hasConceptScore W1507251275C14523651 @default.
- W1507251275 hasConceptScore W1507251275C158465420 @default.
- W1507251275 hasConceptScore W1507251275C17744445 @default.
- W1507251275 hasConceptScore W1507251275C187455244 @default.
- W1507251275 hasConceptScore W1507251275C195818886 @default.
- W1507251275 hasConceptScore W1507251275C199539241 @default.
- W1507251275 hasConceptScore W1507251275C2776359362 @default.
- W1507251275 hasConceptScore W1507251275C33203268 @default.
- W1507251275 hasConceptScore W1507251275C33923547 @default.
- W1507251275 hasConceptScore W1507251275C41008148 @default.
- W1507251275 hasConceptScore W1507251275C69562738 @default.
- W1507251275 hasConceptScore W1507251275C7342684 @default.
- W1507251275 hasConceptScore W1507251275C74640108 @default.
- W1507251275 hasConceptScore W1507251275C80444323 @default.
- W1507251275 hasConceptScore W1507251275C94625758 @default.
- W1507251275 hasIssue "3" @default.
- W1507251275 hasLocation W15072512751 @default.
- W1507251275 hasOpenAccess W1507251275 @default.
- W1507251275 hasPrimaryLocation W15072512751 @default.
- W1507251275 hasRelatedWork W1540595797 @default.
- W1507251275 hasRelatedWork W1608125757 @default.
- W1507251275 hasRelatedWork W1747570770 @default.
- W1507251275 hasRelatedWork W2095943001 @default.
- W1507251275 hasRelatedWork W2115416792 @default.
- W1507251275 hasRelatedWork W2140541040 @default.
- W1507251275 hasRelatedWork W2152035036 @default.
- W1507251275 hasRelatedWork W2155056973 @default.
- W1507251275 hasRelatedWork W2252339295 @default.
- W1507251275 hasRelatedWork W2494237651 @default.
- W1507251275 hasRelatedWork W2520196027 @default.
- W1507251275 hasRelatedWork W2600221469 @default.
- W1507251275 hasRelatedWork W2803425303 @default.
- W1507251275 hasRelatedWork W2966029514 @default.
- W1507251275 hasRelatedWork W3020532926 @default.
- W1507251275 hasRelatedWork W3042291487 @default.
- W1507251275 hasRelatedWork W3090932441 @default.
- W1507251275 hasRelatedWork W3102630320 @default.
- W1507251275 hasRelatedWork W3127916250 @default.
- W1507251275 hasRelatedWork W3101105140 @default.
- W1507251275 hasVolume "3" @default.
- W1507251275 isParatext "false" @default.
- W1507251275 isRetracted "false" @default.
- W1507251275 magId "1507251275" @default.
- W1507251275 workType "article" @default.