Matches in SemOpenAlex for { <https://semopenalex.org/work/W1497421929> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W1497421929 endingPage "325" @default.
- W1497421929 startingPage "311" @default.
- W1497421929 abstract "We investigate a class of set constraints defined as atomic set constraints augmented with projection. This class subsumes some already studied classes such as atomic set constraints with left-hand side projection and INES constraints. All these classes enjoy the nice property that satisfiability can be tested in cubic time. This is in contrast to several other classes of set constraints, such as definite set constraints and positive set constraints, for which satisfiability ranges from DEXPTIME-complete to NEXPTIME-complete. However, these latter classes allow set operators such as intersection or union which is not the case for the class studied here. In the case of atomic set constraints with projection one might expect that satisfiability remains polynomial. Unfortunately, we show that that the satisfiability problem for this class is no longer polynomial, but CoNP-hard. Furthermore, we devise a PSPACE algorithm to solve this satisfiability problem." @default.
- W1497421929 created "2016-06-24" @default.
- W1497421929 creator A5064289290 @default.
- W1497421929 creator A5068443996 @default.
- W1497421929 date "2002-01-01" @default.
- W1497421929 modified "2023-09-28" @default.
- W1497421929 title "Atomic Set Constraints with Projection" @default.
- W1497421929 cites W1497421929 @default.
- W1497421929 cites W1503204116 @default.
- W1497421929 cites W1526826791 @default.
- W1497421929 cites W1531074043 @default.
- W1497421929 cites W1532312848 @default.
- W1497421929 cites W1593983061 @default.
- W1497421929 cites W1886159700 @default.
- W1497421929 cites W1890547763 @default.
- W1497421929 cites W1941645576 @default.
- W1497421929 cites W1982129592 @default.
- W1497421929 cites W1999968383 @default.
- W1497421929 cites W2040152339 @default.
- W1497421929 cites W2076696436 @default.
- W1497421929 cites W2098994345 @default.
- W1497421929 cites W2120254577 @default.
- W1497421929 cites W2165243410 @default.
- W1497421929 cites W2169136701 @default.
- W1497421929 cites W2171449317 @default.
- W1497421929 cites W167696951 @default.
- W1497421929 doi "https://doi.org/10.1007/3-540-45610-4_22" @default.
- W1497421929 hasPublicationYear "2002" @default.
- W1497421929 type Work @default.
- W1497421929 sameAs 1497421929 @default.
- W1497421929 citedByCount "2" @default.
- W1497421929 crossrefType "book-chapter" @default.
- W1497421929 hasAuthorship W1497421929A5064289290 @default.
- W1497421929 hasAuthorship W1497421929A5068443996 @default.
- W1497421929 hasConcept C11413529 @default.
- W1497421929 hasConcept C114614502 @default.
- W1497421929 hasConcept C118615104 @default.
- W1497421929 hasConcept C127413603 @default.
- W1497421929 hasConcept C146978453 @default.
- W1497421929 hasConcept C154945302 @default.
- W1497421929 hasConcept C16221470 @default.
- W1497421929 hasConcept C168773769 @default.
- W1497421929 hasConcept C177264268 @default.
- W1497421929 hasConcept C179799912 @default.
- W1497421929 hasConcept C197685441 @default.
- W1497421929 hasConcept C199360897 @default.
- W1497421929 hasConcept C2777212361 @default.
- W1497421929 hasConcept C33923547 @default.
- W1497421929 hasConcept C41008148 @default.
- W1497421929 hasConcept C57493831 @default.
- W1497421929 hasConcept C64543145 @default.
- W1497421929 hasConcept C6943359 @default.
- W1497421929 hasConceptScore W1497421929C11413529 @default.
- W1497421929 hasConceptScore W1497421929C114614502 @default.
- W1497421929 hasConceptScore W1497421929C118615104 @default.
- W1497421929 hasConceptScore W1497421929C127413603 @default.
- W1497421929 hasConceptScore W1497421929C146978453 @default.
- W1497421929 hasConceptScore W1497421929C154945302 @default.
- W1497421929 hasConceptScore W1497421929C16221470 @default.
- W1497421929 hasConceptScore W1497421929C168773769 @default.
- W1497421929 hasConceptScore W1497421929C177264268 @default.
- W1497421929 hasConceptScore W1497421929C179799912 @default.
- W1497421929 hasConceptScore W1497421929C197685441 @default.
- W1497421929 hasConceptScore W1497421929C199360897 @default.
- W1497421929 hasConceptScore W1497421929C2777212361 @default.
- W1497421929 hasConceptScore W1497421929C33923547 @default.
- W1497421929 hasConceptScore W1497421929C41008148 @default.
- W1497421929 hasConceptScore W1497421929C57493831 @default.
- W1497421929 hasConceptScore W1497421929C64543145 @default.
- W1497421929 hasConceptScore W1497421929C6943359 @default.
- W1497421929 hasLocation W14974219291 @default.
- W1497421929 hasOpenAccess W1497421929 @default.
- W1497421929 hasPrimaryLocation W14974219291 @default.
- W1497421929 hasRelatedWork W1500793656 @default.
- W1497421929 hasRelatedWork W1568972291 @default.
- W1497421929 hasRelatedWork W1602724486 @default.
- W1497421929 hasRelatedWork W1603492525 @default.
- W1497421929 hasRelatedWork W1818081266 @default.
- W1497421929 hasRelatedWork W1983032729 @default.
- W1497421929 hasRelatedWork W2005978190 @default.
- W1497421929 hasRelatedWork W2016639451 @default.
- W1497421929 hasRelatedWork W2027202791 @default.
- W1497421929 hasRelatedWork W2038688206 @default.
- W1497421929 hasRelatedWork W2068190866 @default.
- W1497421929 hasRelatedWork W2070622106 @default.
- W1497421929 hasRelatedWork W2157743984 @default.
- W1497421929 hasRelatedWork W2593154205 @default.
- W1497421929 hasRelatedWork W2949599905 @default.
- W1497421929 hasRelatedWork W3195998858 @default.
- W1497421929 hasRelatedWork W2583478721 @default.
- W1497421929 hasRelatedWork W2610314805 @default.
- W1497421929 hasRelatedWork W2611124664 @default.
- W1497421929 hasRelatedWork W2611554938 @default.
- W1497421929 isParatext "false" @default.
- W1497421929 isRetracted "false" @default.
- W1497421929 magId "1497421929" @default.
- W1497421929 workType "book-chapter" @default.