Matches in SemOpenAlex for { <https://semopenalex.org/work/W2045164039> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2045164039 abstract "In this paper, a new heuristic for polarity selection is proposed. This heuristic is defined for parallel SAT solvers. The selected polarity is an important component of modern SAT solvers, in particular in portfolio ones. Indeed, these solvers are often based on the cooperation/competition principle. In this case, the polarity can be used to guide the solver in the search space. A criterion based on the intention notion is proposed in order to evaluate whether two solvers are to study the same search space or not. Once this criterion defined, a dynamical heuristic polarity is proposed for tuning the different solvers. Experimental results show that our approach is efficient and provides significant improvements on a range of industrial instances." @default.
- W2045164039 created "2016-06-24" @default.
- W2045164039 creator A5017651167 @default.
- W2045164039 creator A5035255483 @default.
- W2045164039 date "2011-11-01" @default.
- W2045164039 modified "2023-09-25" @default.
- W2045164039 title "Dynamic Polarity Adjustment in a Parallel SAT Solver" @default.
- W2045164039 cites W1590061888 @default.
- W2045164039 cites W1601504107 @default.
- W2045164039 cites W1608123432 @default.
- W2045164039 cites W1950282396 @default.
- W2045164039 cites W1981726327 @default.
- W2045164039 cites W2036265926 @default.
- W2045164039 cites W2039027656 @default.
- W2045164039 cites W2044024563 @default.
- W2045164039 cites W2046612382 @default.
- W2045164039 cites W2079547519 @default.
- W2045164039 cites W2085301456 @default.
- W2045164039 cites W2092775861 @default.
- W2045164039 cites W2123098314 @default.
- W2045164039 cites W2142648466 @default.
- W2045164039 cites W2154318861 @default.
- W2045164039 doi "https://doi.org/10.1109/ictai.2011.19" @default.
- W2045164039 hasPublicationYear "2011" @default.
- W2045164039 type Work @default.
- W2045164039 sameAs 2045164039 @default.
- W2045164039 citedByCount "4" @default.
- W2045164039 countsByYear W20451640392013 @default.
- W2045164039 countsByYear W20451640392014 @default.
- W2045164039 countsByYear W20451640392016 @default.
- W2045164039 countsByYear W20451640392022 @default.
- W2045164039 crossrefType "proceedings-article" @default.
- W2045164039 hasAuthorship W2045164039A5017651167 @default.
- W2045164039 hasAuthorship W2045164039A5035255483 @default.
- W2045164039 hasConcept C111919701 @default.
- W2045164039 hasConcept C11413529 @default.
- W2045164039 hasConcept C126255220 @default.
- W2045164039 hasConcept C1491633281 @default.
- W2045164039 hasConcept C154945302 @default.
- W2045164039 hasConcept C159985019 @default.
- W2045164039 hasConcept C173801870 @default.
- W2045164039 hasConcept C185592680 @default.
- W2045164039 hasConcept C192562407 @default.
- W2045164039 hasConcept C204323151 @default.
- W2045164039 hasConcept C2777361361 @default.
- W2045164039 hasConcept C2778572836 @default.
- W2045164039 hasConcept C2778770139 @default.
- W2045164039 hasConcept C3019612716 @default.
- W2045164039 hasConcept C33923547 @default.
- W2045164039 hasConcept C41008148 @default.
- W2045164039 hasConcept C459310 @default.
- W2045164039 hasConcept C55493867 @default.
- W2045164039 hasConcept C80444323 @default.
- W2045164039 hasConceptScore W2045164039C111919701 @default.
- W2045164039 hasConceptScore W2045164039C11413529 @default.
- W2045164039 hasConceptScore W2045164039C126255220 @default.
- W2045164039 hasConceptScore W2045164039C1491633281 @default.
- W2045164039 hasConceptScore W2045164039C154945302 @default.
- W2045164039 hasConceptScore W2045164039C159985019 @default.
- W2045164039 hasConceptScore W2045164039C173801870 @default.
- W2045164039 hasConceptScore W2045164039C185592680 @default.
- W2045164039 hasConceptScore W2045164039C192562407 @default.
- W2045164039 hasConceptScore W2045164039C204323151 @default.
- W2045164039 hasConceptScore W2045164039C2777361361 @default.
- W2045164039 hasConceptScore W2045164039C2778572836 @default.
- W2045164039 hasConceptScore W2045164039C2778770139 @default.
- W2045164039 hasConceptScore W2045164039C3019612716 @default.
- W2045164039 hasConceptScore W2045164039C33923547 @default.
- W2045164039 hasConceptScore W2045164039C41008148 @default.
- W2045164039 hasConceptScore W2045164039C459310 @default.
- W2045164039 hasConceptScore W2045164039C55493867 @default.
- W2045164039 hasConceptScore W2045164039C80444323 @default.
- W2045164039 hasLocation W20451640391 @default.
- W2045164039 hasLocation W20451640392 @default.
- W2045164039 hasOpenAccess W2045164039 @default.
- W2045164039 hasPrimaryLocation W20451640391 @default.
- W2045164039 hasRelatedWork W2022737676 @default.
- W2045164039 hasRelatedWork W2072788422 @default.
- W2045164039 hasRelatedWork W2092211314 @default.
- W2045164039 hasRelatedWork W2205796945 @default.
- W2045164039 hasRelatedWork W2773117586 @default.
- W2045164039 hasRelatedWork W2800829962 @default.
- W2045164039 hasRelatedWork W2886728770 @default.
- W2045164039 hasRelatedWork W4245000164 @default.
- W2045164039 hasRelatedWork W4385445232 @default.
- W2045164039 hasRelatedWork W6470874 @default.
- W2045164039 isParatext "false" @default.
- W2045164039 isRetracted "false" @default.
- W2045164039 magId "2045164039" @default.
- W2045164039 workType "article" @default.