Matches in SemOpenAlex for { <https://semopenalex.org/work/W2742477787> ?p ?o ?g. }
Showing items 1 to 41 of
41
with 100 items per page.
- W2742477787 abstract "L'identification et l'exploitation de structures cachees dans un probleme est reconnue comme etant un moyen fondamental pour contrecarrer l'explosion combinatoire de sa resolution. Recemment, une structure particuliere appelee (strong) backdoor a ete identifiee pour le probleme de satisfaisabilite de formule CNF (SAT). Certaines connexions entre les ensembles strong backdoor et la difficulte intrinseque des problemes SAT ont ete mises en evidence, permettant une meilleure approximation de la borne de complexite en temps dans le pire des cas. On peut calculer des ensembles strong backdoor pour chaque classe polynomiale. Dans [Parisetals06], une methode d'approximation d'ensembles strong backdoor pour la classe des formules de Horn a ete proposee. Cette approximation est realisee en deux etapes. Dans un premier temps, on calcule le meilleur Horn renommage du point de vue du nombre de clauses de Horn de la CNF de depart. Ensuite on extrait un ensemble Horn strong backdoor de la partie non Horn de la formule renommee. Dans cet article, nous proposons de calculer des ensembles Horn strong backdoor en utilisant le meme procede mais en minimisant le nombre de litteraux positifs dans la partie non Horn de la formule renommee au lieu du nombre de clauses. Puis nous etendons cette methode a la classe des formules ordonnee [benoist99] qui est une extension de la classe des formules de Horn. Cette methode nous garantit l'obtention d'ensembles Ordonne strong backdoor de taille plus petite ou egale a ceux des ensembles Horn strong backdoor (jamais plus grande). Les resultats experimentaux montrent que ces nouvelles methodes permettent de reduire la taille des ensembles strong backdoor sur certaines instances et que leur exploitation permet egalement d'ameliorer les performances des solveurs SAT." @default.
- W2742477787 created "2017-08-17" @default.
- W2742477787 creator A5031824045 @default.
- W2742477787 creator A5067400535 @default.
- W2742477787 creator A5079940268 @default.
- W2742477787 date "2007-06-04" @default.
- W2742477787 modified "2023-09-27" @default.
- W2742477787 title "Des ensembles Horn strong backdoor aux ensembles ordonnés strong backdoor" @default.
- W2742477787 hasPublicationYear "2007" @default.
- W2742477787 type Work @default.
- W2742477787 sameAs 2742477787 @default.
- W2742477787 citedByCount "0" @default.
- W2742477787 crossrefType "journal-article" @default.
- W2742477787 hasAuthorship W2742477787A5031824045 @default.
- W2742477787 hasAuthorship W2742477787A5067400535 @default.
- W2742477787 hasAuthorship W2742477787A5079940268 @default.
- W2742477787 hasConcept C121332964 @default.
- W2742477787 hasConcept C138885662 @default.
- W2742477787 hasConcept C152076505 @default.
- W2742477787 hasConcept C15708023 @default.
- W2742477787 hasConcept C24890656 @default.
- W2742477787 hasConcept C2781045450 @default.
- W2742477787 hasConcept C33923547 @default.
- W2742477787 hasConcept C38652104 @default.
- W2742477787 hasConcept C41008148 @default.
- W2742477787 hasConceptScore W2742477787C121332964 @default.
- W2742477787 hasConceptScore W2742477787C138885662 @default.
- W2742477787 hasConceptScore W2742477787C152076505 @default.
- W2742477787 hasConceptScore W2742477787C15708023 @default.
- W2742477787 hasConceptScore W2742477787C24890656 @default.
- W2742477787 hasConceptScore W2742477787C2781045450 @default.
- W2742477787 hasConceptScore W2742477787C33923547 @default.
- W2742477787 hasConceptScore W2742477787C38652104 @default.
- W2742477787 hasConceptScore W2742477787C41008148 @default.
- W2742477787 hasLocation W27424777871 @default.
- W2742477787 hasOpenAccess W2742477787 @default.
- W2742477787 hasPrimaryLocation W27424777871 @default.
- W2742477787 isParatext "false" @default.
- W2742477787 isRetracted "false" @default.
- W2742477787 magId "2742477787" @default.
- W2742477787 workType "article" @default.