Matches in SemOpenAlex for { <https://semopenalex.org/work/W92772568> ?p ?o ?g. }
Showing items 1 to 29 of
29
with 100 items per page.
- W92772568 abstract "En donnant des moyens d'exprimer l'alternation de quantificateurs existentiels et universels, les langages quantifies permettent de poser formellement des questions dont la reponse est une strategie. Par exemple, on peut encoder les regles d'un jeu comme un ensemble de contraintes, puis demander l'existence d'une strategie gagnante (ou au moins nonperdante) pour ce jeu. Dans le cas de formules booleennes quantifiees, une telle strategie, si elle existe, est representee par un certificat de satisfiabilite, qui est une representation compacte d'un des modeles de la formule et qui peut etre utilise pour donner une preuve de satisfiabilite independante du solveur. Etant donnee la nature intrinseque des formules quantifiees, de tels certificats demandent beaucoup de soin pour etre extraits efficacement, representes de facon compacte et pour que l'on puisse aisement leur poser des requetes. Nous montrons comment resoudre ces problemes." @default.
- W92772568 created "2016-06-24" @default.
- W92772568 creator A5013020489 @default.
- W92772568 date "2006-01-01" @default.
- W92772568 modified "2023-09-27" @default.
- W92772568 title "Extraire des Certificats des Formules Booléennes Quantifiées" @default.
- W92772568 cites W143396352 @default.
- W92772568 cites W1534775143 @default.
- W92772568 cites W1553565837 @default.
- W92772568 cites W1597057550 @default.
- W92772568 cites W2080267935 @default.
- W92772568 cites W152048416 @default.
- W92772568 hasPublicationYear "2006" @default.
- W92772568 type Work @default.
- W92772568 sameAs 92772568 @default.
- W92772568 citedByCount "0" @default.
- W92772568 crossrefType "journal-article" @default.
- W92772568 hasAuthorship W92772568A5013020489 @default.
- W92772568 hasConcept C138885662 @default.
- W92772568 hasConcept C15708023 @default.
- W92772568 hasConceptScore W92772568C138885662 @default.
- W92772568 hasConceptScore W92772568C15708023 @default.
- W92772568 hasLocation W927725681 @default.
- W92772568 hasOpenAccess W92772568 @default.
- W92772568 hasPrimaryLocation W927725681 @default.
- W92772568 isParatext "false" @default.
- W92772568 isRetracted "false" @default.
- W92772568 magId "92772568" @default.
- W92772568 workType "article" @default.