Matches in SemOpenAlex for { <https://semopenalex.org/work/W1534775143> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W1534775143 abstract "A quantified Boolean formula is true, if for any existentially quantified variable there exists a Boolean function depending on the preceding universal variables, such that substituting the existential variables by the Boolean functions results in a true formula. We call a satisfying set of Boolean functions a model. In this paper, we investigate for various classes of quantified Boolean formulas and various classes of Boolean functions the problem whether a model exists. Furthermore, for these classes the complexity of the model checking problem – whether a set of Boolean functions is a model for a formula – will be shown. Finally, for classes of Boolean functions we establish some characterizations in terms of quantified Boolean formulas which have such a model. For example, roughly speaking any satisfiable quantified Boolean Horn formula can be satisfied by monomials and vice versa." @default.
- W1534775143 created "2016-06-24" @default.
- W1534775143 creator A5033119230 @default.
- W1534775143 creator A5037967044 @default.
- W1534775143 date "2004-01-01" @default.
- W1534775143 modified "2023-10-03" @default.
- W1534775143 title "On Models for Quantified Boolean Formulas" @default.
- W1534775143 cites W1553278548 @default.
- W1534775143 cites W1601935780 @default.
- W1534775143 cites W1836852804 @default.
- W1534775143 cites W1976876676 @default.
- W1534775143 cites W1998084650 @default.
- W1534775143 cites W2031823362 @default.
- W1534775143 cites W2065251436 @default.
- W1534775143 doi "https://doi.org/10.1007/978-3-540-25967-1_3" @default.
- W1534775143 hasPublicationYear "2004" @default.
- W1534775143 type Work @default.
- W1534775143 sameAs 1534775143 @default.
- W1534775143 citedByCount "12" @default.
- W1534775143 countsByYear W15347751432012 @default.
- W1534775143 crossrefType "book-chapter" @default.
- W1534775143 hasAuthorship W1534775143A5033119230 @default.
- W1534775143 hasAuthorship W1534775143A5037967044 @default.
- W1534775143 hasConcept C10021369 @default.
- W1534775143 hasConcept C111797529 @default.
- W1534775143 hasConcept C118615104 @default.
- W1534775143 hasConcept C134444547 @default.
- W1534775143 hasConcept C136119220 @default.
- W1534775143 hasConcept C141796577 @default.
- W1534775143 hasConcept C158465420 @default.
- W1534775143 hasConcept C169171071 @default.
- W1534775143 hasConcept C177264268 @default.
- W1534775143 hasConcept C187455244 @default.
- W1534775143 hasConcept C188183281 @default.
- W1534775143 hasConcept C196836630 @default.
- W1534775143 hasConcept C199360897 @default.
- W1534775143 hasConcept C202444582 @default.
- W1534775143 hasConcept C207764348 @default.
- W1534775143 hasConcept C33923547 @default.
- W1534775143 hasConcept C41008148 @default.
- W1534775143 hasConcept C45503250 @default.
- W1534775143 hasConcept C68481662 @default.
- W1534775143 hasConcept C7342684 @default.
- W1534775143 hasConcept C81518389 @default.
- W1534775143 hasConcept C9429942 @default.
- W1534775143 hasConceptScore W1534775143C10021369 @default.
- W1534775143 hasConceptScore W1534775143C111797529 @default.
- W1534775143 hasConceptScore W1534775143C118615104 @default.
- W1534775143 hasConceptScore W1534775143C134444547 @default.
- W1534775143 hasConceptScore W1534775143C136119220 @default.
- W1534775143 hasConceptScore W1534775143C141796577 @default.
- W1534775143 hasConceptScore W1534775143C158465420 @default.
- W1534775143 hasConceptScore W1534775143C169171071 @default.
- W1534775143 hasConceptScore W1534775143C177264268 @default.
- W1534775143 hasConceptScore W1534775143C187455244 @default.
- W1534775143 hasConceptScore W1534775143C188183281 @default.
- W1534775143 hasConceptScore W1534775143C196836630 @default.
- W1534775143 hasConceptScore W1534775143C199360897 @default.
- W1534775143 hasConceptScore W1534775143C202444582 @default.
- W1534775143 hasConceptScore W1534775143C207764348 @default.
- W1534775143 hasConceptScore W1534775143C33923547 @default.
- W1534775143 hasConceptScore W1534775143C41008148 @default.
- W1534775143 hasConceptScore W1534775143C45503250 @default.
- W1534775143 hasConceptScore W1534775143C68481662 @default.
- W1534775143 hasConceptScore W1534775143C7342684 @default.
- W1534775143 hasConceptScore W1534775143C81518389 @default.
- W1534775143 hasConceptScore W1534775143C9429942 @default.
- W1534775143 hasLocation W15347751431 @default.
- W1534775143 hasOpenAccess W1534775143 @default.
- W1534775143 hasPrimaryLocation W15347751431 @default.
- W1534775143 hasRelatedWork W1496518193 @default.
- W1534775143 hasRelatedWork W1499231756 @default.
- W1534775143 hasRelatedWork W1561944502 @default.
- W1534775143 hasRelatedWork W1594202285 @default.
- W1534775143 hasRelatedWork W163040166 @default.
- W1534775143 hasRelatedWork W1787074469 @default.
- W1534775143 hasRelatedWork W1836852804 @default.
- W1534775143 hasRelatedWork W1967366347 @default.
- W1534775143 hasRelatedWork W1976876676 @default.
- W1534775143 hasRelatedWork W1980854014 @default.
- W1534775143 hasRelatedWork W1986683555 @default.
- W1534775143 hasRelatedWork W206622319 @default.
- W1534775143 hasRelatedWork W2121507897 @default.
- W1534775143 hasRelatedWork W2460779241 @default.
- W1534775143 hasRelatedWork W290632637 @default.
- W1534775143 hasRelatedWork W3003589747 @default.
- W1534775143 hasRelatedWork W3012054845 @default.
- W1534775143 hasRelatedWork W3141213722 @default.
- W1534775143 hasRelatedWork W577644159 @default.
- W1534775143 hasRelatedWork W2186656105 @default.
- W1534775143 isParatext "false" @default.
- W1534775143 isRetracted "false" @default.
- W1534775143 magId "1534775143" @default.
- W1534775143 workType "book-chapter" @default.