Matches in SemOpenAlex for { <https://semopenalex.org/work/W123669103> ?p ?o ?g. }
Showing items 1 to 37 of
37
with 100 items per page.
- W123669103 abstract "MOMS et Jeroslow-Wang sont deux des heuristiques les plus utilisees pour ordonner les variables dans les algorithmes traitant les problemes SAT etMAXSAT. Toutefois, leurs comportements ne sont pas tres bien compris dans le contexte du probleme MAX-SAT. Dans ce papier, nous nous sommes interesses a ces deux heuristiques ainsi qu'a l'heuristiqueDynamic- weighting pour la resolution du probleme MAX-SAT. Nous montrons empiriquement que leurs comportements dans un algorithme de type Branch and Bound depend de la borne superieure initiale ainsi que de mecanismes specifiques comme la propagation unitaire ou encore l'estimation de la borne inferieure. A partir de ces resultats, nous avons propose une combinaison intuitive des heuristiques MOMS and Jeroslow-Wang qui fournit des performances interessantes." @default.
- W123669103 created "2016-06-24" @default.
- W123669103 creator A5016332970 @default.
- W123669103 creator A5035347624 @default.
- W123669103 creator A5070532323 @default.
- W123669103 date "2006-01-01" @default.
- W123669103 modified "2023-09-23" @default.
- W123669103 title "Une étude empirique des heuristiques de branchement pour le problème MAX-SAT" @default.
- W123669103 cites W14839205 @default.
- W123669103 cites W15803339 @default.
- W123669103 cites W1667614912 @default.
- W123669103 cites W1986088671 @default.
- W123669103 cites W2011039300 @default.
- W123669103 cites W2029688740 @default.
- W123669103 cites W2048051309 @default.
- W123669103 cites W2085301456 @default.
- W123669103 cites W2142785340 @default.
- W123669103 cites W2165372647 @default.
- W123669103 cites W2776836749 @default.
- W123669103 cites W2610945229 @default.
- W123669103 hasPublicationYear "2006" @default.
- W123669103 type Work @default.
- W123669103 sameAs 123669103 @default.
- W123669103 citedByCount "0" @default.
- W123669103 crossrefType "journal-article" @default.
- W123669103 hasAuthorship W123669103A5016332970 @default.
- W123669103 hasAuthorship W123669103A5035347624 @default.
- W123669103 hasAuthorship W123669103A5070532323 @default.
- W123669103 hasConcept C138885662 @default.
- W123669103 hasConcept C15708023 @default.
- W123669103 hasConceptScore W123669103C138885662 @default.
- W123669103 hasConceptScore W123669103C15708023 @default.
- W123669103 hasOpenAccess W123669103 @default.
- W123669103 isParatext "false" @default.
- W123669103 isRetracted "false" @default.
- W123669103 magId "123669103" @default.
- W123669103 workType "article" @default.