Matches in SemOpenAlex for { <https://semopenalex.org/work/W3163966347> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W3163966347 abstract "The Conflict-Driven Clause Learning algorithms for solving the Boolean satisfiability problem comprise the major part of the methods used to solve various instances of the problems that arise in industry and science. In recent years there have been proposed several major heuristics for these algorithms which are assumed to be de facto good for the solvers’ performance over diverse sets of benchmarks. The goal of this paper is to evaluate the contribution of each separate heuristic to the performance of a state-of-the-art solver, see the extent to which they are beneficial, and figure out if the heuristics have any particular features that need to be taken into account." @default.
- W3163966347 created "2021-06-07" @default.
- W3163966347 creator A5091140171 @default.
- W3163966347 date "2021-05-05" @default.
- W3163966347 modified "2023-09-30" @default.
- W3163966347 title "Analysis of comparative effectiveness of state-of-the-art heuristics for CDCL SAT solvers" @default.
- W3163966347 cites W1518705996 @default.
- W3163966347 doi "https://doi.org/10.47350/aicts.2020.11" @default.
- W3163966347 hasPublicationYear "2021" @default.
- W3163966347 type Work @default.
- W3163966347 sameAs 3163966347 @default.
- W3163966347 citedByCount "0" @default.
- W3163966347 crossrefType "proceedings-article" @default.
- W3163966347 hasAuthorship W3163966347A5091140171 @default.
- W3163966347 hasBestOaLocation W31639663471 @default.
- W3163966347 hasConcept C111919701 @default.
- W3163966347 hasConcept C11413529 @default.
- W3163966347 hasConcept C126255220 @default.
- W3163966347 hasConcept C127705205 @default.
- W3163966347 hasConcept C154945302 @default.
- W3163966347 hasConcept C168773769 @default.
- W3163966347 hasConcept C173801870 @default.
- W3163966347 hasConcept C17744445 @default.
- W3163966347 hasConcept C199360897 @default.
- W3163966347 hasConcept C199539241 @default.
- W3163966347 hasConcept C2778770139 @default.
- W3163966347 hasConcept C2992317946 @default.
- W3163966347 hasConcept C33923547 @default.
- W3163966347 hasConcept C41008148 @default.
- W3163966347 hasConcept C48103436 @default.
- W3163966347 hasConcept C6943359 @default.
- W3163966347 hasConcept C80444323 @default.
- W3163966347 hasConceptScore W3163966347C111919701 @default.
- W3163966347 hasConceptScore W3163966347C11413529 @default.
- W3163966347 hasConceptScore W3163966347C126255220 @default.
- W3163966347 hasConceptScore W3163966347C127705205 @default.
- W3163966347 hasConceptScore W3163966347C154945302 @default.
- W3163966347 hasConceptScore W3163966347C168773769 @default.
- W3163966347 hasConceptScore W3163966347C173801870 @default.
- W3163966347 hasConceptScore W3163966347C17744445 @default.
- W3163966347 hasConceptScore W3163966347C199360897 @default.
- W3163966347 hasConceptScore W3163966347C199539241 @default.
- W3163966347 hasConceptScore W3163966347C2778770139 @default.
- W3163966347 hasConceptScore W3163966347C2992317946 @default.
- W3163966347 hasConceptScore W3163966347C33923547 @default.
- W3163966347 hasConceptScore W3163966347C41008148 @default.
- W3163966347 hasConceptScore W3163966347C48103436 @default.
- W3163966347 hasConceptScore W3163966347C6943359 @default.
- W3163966347 hasConceptScore W3163966347C80444323 @default.
- W3163966347 hasLocation W31639663471 @default.
- W3163966347 hasOpenAccess W3163966347 @default.
- W3163966347 hasPrimaryLocation W31639663471 @default.
- W3163966347 hasRelatedWork W10166426 @default.
- W3163966347 hasRelatedWork W1315694 @default.
- W3163966347 hasRelatedWork W2436624 @default.
- W3163966347 hasRelatedWork W3947704 @default.
- W3163966347 hasRelatedWork W601863 @default.
- W3163966347 hasRelatedWork W6633874 @default.
- W3163966347 hasRelatedWork W715329 @default.
- W3163966347 hasRelatedWork W852384 @default.
- W3163966347 hasRelatedWork W9083658 @default.
- W3163966347 hasRelatedWork W9944733 @default.
- W3163966347 isParatext "false" @default.
- W3163966347 isRetracted "false" @default.
- W3163966347 magId "3163966347" @default.
- W3163966347 workType "article" @default.