Matches in SemOpenAlex for { <https://semopenalex.org/work/W1817491722> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W1817491722 abstract "We consider the quantified constraint satisfaction problem (QCSP) which is to decide, given a structure and a first-order sentence (not assumed here to be in prenex form) built from conjunction and quantification, whether or not the sentence is true on the structure. We present a proof system for certifying the falsity of QCSP instances and develop its basic theory; for instance, we provide an algorithmic interpretation of its behavior. Our proof system places the established Q-resolution proof system in a broader context, and also allows us to derive QCSP tractability results." @default.
- W1817491722 created "2016-06-24" @default.
- W1817491722 creator A5044720498 @default.
- W1817491722 date "2014-12-23" @default.
- W1817491722 modified "2023-09-24" @default.
- W1817491722 title "Beyond Q-Resolution and Prenex Form: A Proof System for Quantified Constraint Satisfaction" @default.
- W1817491722 cites W1492210508 @default.
- W1817491722 cites W153181359 @default.
- W1817491722 cites W1594732291 @default.
- W1817491722 cites W1608888815 @default.
- W1817491722 cites W1972179987 @default.
- W1817491722 cites W1996660205 @default.
- W1817491722 cites W2122908864 @default.
- W1817491722 cites W2124452950 @default.
- W1817491722 cites W2161955489 @default.
- W1817491722 cites W2985554528 @default.
- W1817491722 cites W45235819 @default.
- W1817491722 doi "https://doi.org/10.2168/lmcs-10(4:14)2014" @default.
- W1817491722 hasPublicationYear "2014" @default.
- W1817491722 type Work @default.
- W1817491722 sameAs 1817491722 @default.
- W1817491722 citedByCount "2" @default.
- W1817491722 countsByYear W18174917222018 @default.
- W1817491722 countsByYear W18174917222021 @default.
- W1817491722 crossrefType "journal-article" @default.
- W1817491722 hasAuthorship W1817491722A5044720498 @default.
- W1817491722 hasBestOaLocation W18174917221 @default.
- W1817491722 hasConcept C111919701 @default.
- W1817491722 hasConcept C11413529 @default.
- W1817491722 hasConcept C121332964 @default.
- W1817491722 hasConcept C124978682 @default.
- W1817491722 hasConcept C1276947 @default.
- W1817491722 hasConcept C138268822 @default.
- W1817491722 hasConcept C138885662 @default.
- W1817491722 hasConcept C151730666 @default.
- W1817491722 hasConcept C154945302 @default.
- W1817491722 hasConcept C199360897 @default.
- W1817491722 hasConcept C199622910 @default.
- W1817491722 hasConcept C206880738 @default.
- W1817491722 hasConcept C2524010 @default.
- W1817491722 hasConcept C2776036281 @default.
- W1817491722 hasConcept C2777530160 @default.
- W1817491722 hasConcept C2777685122 @default.
- W1817491722 hasConcept C2779343474 @default.
- W1817491722 hasConcept C33923547 @default.
- W1817491722 hasConcept C41008148 @default.
- W1817491722 hasConcept C41895202 @default.
- W1817491722 hasConcept C49937458 @default.
- W1817491722 hasConcept C527412718 @default.
- W1817491722 hasConcept C59656382 @default.
- W1817491722 hasConcept C86803240 @default.
- W1817491722 hasConceptScore W1817491722C111919701 @default.
- W1817491722 hasConceptScore W1817491722C11413529 @default.
- W1817491722 hasConceptScore W1817491722C121332964 @default.
- W1817491722 hasConceptScore W1817491722C124978682 @default.
- W1817491722 hasConceptScore W1817491722C1276947 @default.
- W1817491722 hasConceptScore W1817491722C138268822 @default.
- W1817491722 hasConceptScore W1817491722C138885662 @default.
- W1817491722 hasConceptScore W1817491722C151730666 @default.
- W1817491722 hasConceptScore W1817491722C154945302 @default.
- W1817491722 hasConceptScore W1817491722C199360897 @default.
- W1817491722 hasConceptScore W1817491722C199622910 @default.
- W1817491722 hasConceptScore W1817491722C206880738 @default.
- W1817491722 hasConceptScore W1817491722C2524010 @default.
- W1817491722 hasConceptScore W1817491722C2776036281 @default.
- W1817491722 hasConceptScore W1817491722C2777530160 @default.
- W1817491722 hasConceptScore W1817491722C2777685122 @default.
- W1817491722 hasConceptScore W1817491722C2779343474 @default.
- W1817491722 hasConceptScore W1817491722C33923547 @default.
- W1817491722 hasConceptScore W1817491722C41008148 @default.
- W1817491722 hasConceptScore W1817491722C41895202 @default.
- W1817491722 hasConceptScore W1817491722C49937458 @default.
- W1817491722 hasConceptScore W1817491722C527412718 @default.
- W1817491722 hasConceptScore W1817491722C59656382 @default.
- W1817491722 hasConceptScore W1817491722C86803240 @default.
- W1817491722 hasLocation W18174917221 @default.
- W1817491722 hasLocation W18174917222 @default.
- W1817491722 hasLocation W18174917223 @default.
- W1817491722 hasLocation W18174917224 @default.
- W1817491722 hasOpenAccess W1817491722 @default.
- W1817491722 hasPrimaryLocation W18174917221 @default.
- W1817491722 hasRelatedWork W1496754191 @default.
- W1817491722 hasRelatedWork W1503075978 @default.
- W1817491722 hasRelatedWork W1514660789 @default.
- W1817491722 hasRelatedWork W1536463841 @default.
- W1817491722 hasRelatedWork W1612963278 @default.
- W1817491722 hasRelatedWork W1817491722 @default.
- W1817491722 hasRelatedWork W1998718399 @default.
- W1817491722 hasRelatedWork W2062097337 @default.
- W1817491722 hasRelatedWork W2950900396 @default.
- W1817491722 hasRelatedWork W2952340466 @default.
- W1817491722 hasVolume "Volume 10, Issue 4" @default.
- W1817491722 isParatext "false" @default.
- W1817491722 isRetracted "false" @default.
- W1817491722 magId "1817491722" @default.
- W1817491722 workType "article" @default.