Matches in SemOpenAlex for { <https://semopenalex.org/work/W41398001> ?p ?o ?g. }
- W41398001 abstract "This paper introduces a hybrid genetic algorithm for the satisfiability problem (SAT). This algorithm, called GASAT, incorporates local search within the genetic framework. GASAT relays on a problem specific crossover operator to create new solutions, that are improved by a tabu search procedure. The performance of GASAT is assessed using a set of well-known benchmarks. Comparisons with state-of-the-art SAT algorithms show that GASAT gives competitive results." @default.
- W41398001 created "2016-06-24" @default.
- W41398001 creator A5016332970 @default.
- W41398001 creator A5070532323 @default.
- W41398001 date "2002-01-01" @default.
- W41398001 modified "2023-09-27" @default.
- W41398001 title "A Hybrid Genetic Algorithm for the Satisfiability Problem" @default.
- W41398001 cites W114802202 @default.
- W41398001 cites W119554023 @default.
- W41398001 cites W14839205 @default.
- W41398001 cites W1511155470 @default.
- W41398001 cites W1533604586 @default.
- W41398001 cites W1558127485 @default.
- W41398001 cites W1650993530 @default.
- W41398001 cites W1661761688 @default.
- W41398001 cites W1667614912 @default.
- W41398001 cites W179371431 @default.
- W41398001 cites W2011039300 @default.
- W41398001 cites W2023923770 @default.
- W41398001 cites W2048762035 @default.
- W41398001 cites W2055440347 @default.
- W41398001 cites W2057361103 @default.
- W41398001 cites W2117188169 @default.
- W41398001 cites W2142785340 @default.
- W41398001 cites W2153096231 @default.
- W41398001 cites W2165372647 @default.
- W41398001 cites W2339500526 @default.
- W41398001 cites W2398137523 @default.
- W41398001 cites W2408006898 @default.
- W41398001 cites W3045969830 @default.
- W41398001 cites W813524085 @default.
- W41398001 cites W1980073965 @default.
- W41398001 cites W2466638078 @default.
- W41398001 hasPublicationYear "2002" @default.
- W41398001 type Work @default.
- W41398001 sameAs 41398001 @default.
- W41398001 citedByCount "5" @default.
- W41398001 countsByYear W413980012013 @default.
- W41398001 countsByYear W413980012016 @default.
- W41398001 crossrefType "journal-article" @default.
- W41398001 hasAuthorship W41398001A5016332970 @default.
- W41398001 hasAuthorship W41398001A5070532323 @default.
- W41398001 hasConcept C104317684 @default.
- W41398001 hasConcept C11413529 @default.
- W41398001 hasConcept C122507166 @default.
- W41398001 hasConcept C123370116 @default.
- W41398001 hasConcept C125583679 @default.
- W41398001 hasConcept C126255220 @default.
- W41398001 hasConcept C12707504 @default.
- W41398001 hasConcept C134652429 @default.
- W41398001 hasConcept C135320971 @default.
- W41398001 hasConcept C143936061 @default.
- W41398001 hasConcept C154945302 @default.
- W41398001 hasConcept C158448853 @default.
- W41398001 hasConcept C168773769 @default.
- W41398001 hasConcept C17020691 @default.
- W41398001 hasConcept C177264268 @default.
- W41398001 hasConcept C185592680 @default.
- W41398001 hasConcept C199360897 @default.
- W41398001 hasConcept C33923547 @default.
- W41398001 hasConcept C41008148 @default.
- W41398001 hasConcept C48103436 @default.
- W41398001 hasConcept C55493867 @default.
- W41398001 hasConcept C6943359 @default.
- W41398001 hasConcept C76155785 @default.
- W41398001 hasConcept C86339819 @default.
- W41398001 hasConcept C8880873 @default.
- W41398001 hasConceptScore W41398001C104317684 @default.
- W41398001 hasConceptScore W41398001C11413529 @default.
- W41398001 hasConceptScore W41398001C122507166 @default.
- W41398001 hasConceptScore W41398001C123370116 @default.
- W41398001 hasConceptScore W41398001C125583679 @default.
- W41398001 hasConceptScore W41398001C126255220 @default.
- W41398001 hasConceptScore W41398001C12707504 @default.
- W41398001 hasConceptScore W41398001C134652429 @default.
- W41398001 hasConceptScore W41398001C135320971 @default.
- W41398001 hasConceptScore W41398001C143936061 @default.
- W41398001 hasConceptScore W41398001C154945302 @default.
- W41398001 hasConceptScore W41398001C158448853 @default.
- W41398001 hasConceptScore W41398001C168773769 @default.
- W41398001 hasConceptScore W41398001C17020691 @default.
- W41398001 hasConceptScore W41398001C177264268 @default.
- W41398001 hasConceptScore W41398001C185592680 @default.
- W41398001 hasConceptScore W41398001C199360897 @default.
- W41398001 hasConceptScore W41398001C33923547 @default.
- W41398001 hasConceptScore W41398001C41008148 @default.
- W41398001 hasConceptScore W41398001C48103436 @default.
- W41398001 hasConceptScore W41398001C55493867 @default.
- W41398001 hasConceptScore W41398001C6943359 @default.
- W41398001 hasConceptScore W41398001C76155785 @default.
- W41398001 hasConceptScore W41398001C86339819 @default.
- W41398001 hasConceptScore W41398001C8880873 @default.
- W41398001 hasLocation W413980011 @default.
- W41398001 hasOpenAccess W41398001 @default.
- W41398001 hasPrimaryLocation W413980011 @default.
- W41398001 hasRelatedWork W1525276429 @default.
- W41398001 hasRelatedWork W1978160559 @default.
- W41398001 hasRelatedWork W2060265333 @default.
- W41398001 hasRelatedWork W2068338745 @default.
- W41398001 hasRelatedWork W2072829770 @default.