Matches in SemOpenAlex for { <https://semopenalex.org/work/W85299012> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W85299012 abstract "The paper is concerned with the computational evaluation of a new branching heuristic, called reverse assignment sequence (RAS), for evolved DPLL Satisfiability solvers. Such heuristic, like several other recent ones, is based on the history of the conflicts obtained during the solution of an instance. A score is associated to each literal. When a conflict occurs, some scores are incremented with different values. The branching variable is then selected by using the maximum score. This branching heuristic is introduced in two evolved DPLL solvers: ZChaff and Simo. Experiments on several benchmark series, both satisfiable and unsatisfiable, demonstrate advantages of the proposed heuristic." @default.
- W85299012 created "2016-06-24" @default.
- W85299012 creator A5036926853 @default.
- W85299012 creator A5056026758 @default.
- W85299012 date "2004-01-01" @default.
- W85299012 modified "2023-09-23" @default.
- W85299012 title "Adding a New Conflict Based Branching Heuristic in two Evolved DPLL SAT Solvers." @default.
- W85299012 cites W1566273688 @default.
- W85299012 cites W1585537805 @default.
- W85299012 cites W162552705 @default.
- W85299012 cites W1627230931 @default.
- W85299012 cites W1923495615 @default.
- W85299012 cites W2005030466 @default.
- W85299012 cites W2036265926 @default.
- W85299012 cites W2057361103 @default.
- W85299012 cites W2057832617 @default.
- W85299012 cites W2062897452 @default.
- W85299012 cites W2072545857 @default.
- W85299012 cites W2075959177 @default.
- W85299012 cites W2085301456 @default.
- W85299012 cites W2108637261 @default.
- W85299012 cites W2142785340 @default.
- W85299012 cites W78181916 @default.
- W85299012 cites W146046645 @default.
- W85299012 cites W2002252750 @default.
- W85299012 cites W2516150756 @default.
- W85299012 hasPublicationYear "2004" @default.
- W85299012 type Work @default.
- W85299012 sameAs 85299012 @default.
- W85299012 citedByCount "2" @default.
- W85299012 crossrefType "proceedings-article" @default.
- W85299012 hasAuthorship W85299012A5036926853 @default.
- W85299012 hasAuthorship W85299012A5056026758 @default.
- W85299012 hasConcept C11413529 @default.
- W85299012 hasConcept C126255220 @default.
- W85299012 hasConcept C12707504 @default.
- W85299012 hasConcept C13280743 @default.
- W85299012 hasConcept C134652429 @default.
- W85299012 hasConcept C143936061 @default.
- W85299012 hasConcept C154945302 @default.
- W85299012 hasConcept C159985019 @default.
- W85299012 hasConcept C168773769 @default.
- W85299012 hasConcept C173801870 @default.
- W85299012 hasConcept C185798385 @default.
- W85299012 hasConcept C192562407 @default.
- W85299012 hasConcept C205649164 @default.
- W85299012 hasConcept C206175624 @default.
- W85299012 hasConcept C2780882242 @default.
- W85299012 hasConcept C33923547 @default.
- W85299012 hasConcept C41008148 @default.
- W85299012 hasConcept C6943359 @default.
- W85299012 hasConcept C76155785 @default.
- W85299012 hasConcept C80444323 @default.
- W85299012 hasConceptScore W85299012C11413529 @default.
- W85299012 hasConceptScore W85299012C126255220 @default.
- W85299012 hasConceptScore W85299012C12707504 @default.
- W85299012 hasConceptScore W85299012C13280743 @default.
- W85299012 hasConceptScore W85299012C134652429 @default.
- W85299012 hasConceptScore W85299012C143936061 @default.
- W85299012 hasConceptScore W85299012C154945302 @default.
- W85299012 hasConceptScore W85299012C159985019 @default.
- W85299012 hasConceptScore W85299012C168773769 @default.
- W85299012 hasConceptScore W85299012C173801870 @default.
- W85299012 hasConceptScore W85299012C185798385 @default.
- W85299012 hasConceptScore W85299012C192562407 @default.
- W85299012 hasConceptScore W85299012C205649164 @default.
- W85299012 hasConceptScore W85299012C206175624 @default.
- W85299012 hasConceptScore W85299012C2780882242 @default.
- W85299012 hasConceptScore W85299012C33923547 @default.
- W85299012 hasConceptScore W85299012C41008148 @default.
- W85299012 hasConceptScore W85299012C6943359 @default.
- W85299012 hasConceptScore W85299012C76155785 @default.
- W85299012 hasConceptScore W85299012C80444323 @default.
- W85299012 hasLocation W852990121 @default.
- W85299012 hasOpenAccess W85299012 @default.
- W85299012 hasPrimaryLocation W852990121 @default.
- W85299012 hasRelatedWork W119554023 @default.
- W85299012 hasRelatedWork W1492439953 @default.
- W85299012 hasRelatedWork W1607919398 @default.
- W85299012 hasRelatedWork W1681159018 @default.
- W85299012 hasRelatedWork W195133914 @default.
- W85299012 hasRelatedWork W2030356709 @default.
- W85299012 hasRelatedWork W2046007623 @default.
- W85299012 hasRelatedWork W2067918506 @default.
- W85299012 hasRelatedWork W2089119454 @default.
- W85299012 hasRelatedWork W2121863021 @default.
- W85299012 hasRelatedWork W217540047 @default.
- W85299012 hasRelatedWork W2351471660 @default.
- W85299012 hasRelatedWork W2912606985 @default.
- W85299012 hasRelatedWork W2921775654 @default.
- W85299012 hasRelatedWork W2945179780 @default.
- W85299012 hasRelatedWork W299694663 @default.
- W85299012 hasRelatedWork W3064086008 @default.
- W85299012 hasRelatedWork W3124009642 @default.
- W85299012 hasRelatedWork W613961319 @default.
- W85299012 hasRelatedWork W2187498391 @default.
- W85299012 isParatext "false" @default.
- W85299012 isRetracted "false" @default.
- W85299012 magId "85299012" @default.
- W85299012 workType "article" @default.