Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Hubert Ming Chen"'
Autor:
Hubert Ming Chen
Publikováno v:
Addi. Archivo Digital para la Docencia y la Investigación
instname
instname
We consider the quanti fied 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 quanti fication, whether or not the sentence is tru
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2e4935a0e40716c97c551b60315d98ad
