Matches in SemOpenAlex for { <https://semopenalex.org/work/W2783011138> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2783011138 abstract "Efficient branching heuristic is a key feature of modern SAT solvers. Firstly, this paper introduced VSIDS heuristic and VSIDS-based heuristics like EVSIDS and ACIDS. Based on VSIDS, a new heuristic termed DLBH that considers variable decision levels was proposed to promote the efficiency of variable selection process. Then, instances showed the comparison among EVSIDS, ACIDS and DLBH. Finally, experimental results indicated that MiniSat solver with DLBH outperforms solvers MiniSat with VSIDS and Glucose." @default.
- W2783011138 created "2018-01-26" @default.
- W2783011138 creator A5005909953 @default.
- W2783011138 creator A5017928601 @default.
- W2783011138 date "2017-11-01" @default.
- W2783011138 modified "2023-09-27" @default.
- W2783011138 title "A branching heuristic based on variable decision levels" @default.
- W2783011138 cites W128869332 @default.
- W2783011138 cites W1485011986 @default.
- W2783011138 cites W1518705996 @default.
- W2783011138 cites W1589045411 @default.
- W2783011138 cites W2036265926 @default.
- W2783011138 cites W2048051309 @default.
- W2783011138 cites W2057361103 @default.
- W2783011138 cites W2062897452 @default.
- W2783011138 cites W2075959177 @default.
- W2783011138 cites W2085301456 @default.
- W2783011138 cites W2108637261 @default.
- W2783011138 cites W2119190805 @default.
- W2783011138 cites W2142785340 @default.
- W2783011138 cites W2282536569 @default.
- W2783011138 doi "https://doi.org/10.1109/iske.2017.8258776" @default.
- W2783011138 hasPublicationYear "2017" @default.
- W2783011138 type Work @default.
- W2783011138 sameAs 2783011138 @default.
- W2783011138 citedByCount "0" @default.
- W2783011138 crossrefType "proceedings-article" @default.
- W2783011138 hasAuthorship W2783011138A5005909953 @default.
- W2783011138 hasAuthorship W2783011138A5017928601 @default.
- W2783011138 hasConcept C11413529 @default.
- W2783011138 hasConcept C126255220 @default.
- W2783011138 hasConcept C127705205 @default.
- W2783011138 hasConcept C134306372 @default.
- W2783011138 hasConcept C148483581 @default.
- W2783011138 hasConcept C154945302 @default.
- W2783011138 hasConcept C173801870 @default.
- W2783011138 hasConcept C178790620 @default.
- W2783011138 hasConcept C182365436 @default.
- W2783011138 hasConcept C185592680 @default.
- W2783011138 hasConcept C206175624 @default.
- W2783011138 hasConcept C2778770139 @default.
- W2783011138 hasConcept C33923547 @default.
- W2783011138 hasConcept C41008148 @default.
- W2783011138 hasConcept C80444323 @default.
- W2783011138 hasConceptScore W2783011138C11413529 @default.
- W2783011138 hasConceptScore W2783011138C126255220 @default.
- W2783011138 hasConceptScore W2783011138C127705205 @default.
- W2783011138 hasConceptScore W2783011138C134306372 @default.
- W2783011138 hasConceptScore W2783011138C148483581 @default.
- W2783011138 hasConceptScore W2783011138C154945302 @default.
- W2783011138 hasConceptScore W2783011138C173801870 @default.
- W2783011138 hasConceptScore W2783011138C178790620 @default.
- W2783011138 hasConceptScore W2783011138C182365436 @default.
- W2783011138 hasConceptScore W2783011138C185592680 @default.
- W2783011138 hasConceptScore W2783011138C206175624 @default.
- W2783011138 hasConceptScore W2783011138C2778770139 @default.
- W2783011138 hasConceptScore W2783011138C33923547 @default.
- W2783011138 hasConceptScore W2783011138C41008148 @default.
- W2783011138 hasConceptScore W2783011138C80444323 @default.
- W2783011138 hasLocation W27830111381 @default.
- W2783011138 hasOpenAccess W2783011138 @default.
- W2783011138 hasPrimaryLocation W27830111381 @default.
- W2783011138 hasRelatedWork W1507159998 @default.
- W2783011138 hasRelatedWork W1704751447 @default.
- W2783011138 hasRelatedWork W1971406356 @default.
- W2783011138 hasRelatedWork W2067503240 @default.
- W2783011138 hasRelatedWork W2151616023 @default.
- W2783011138 hasRelatedWork W2591041104 @default.
- W2783011138 hasRelatedWork W2596115240 @default.
- W2783011138 hasRelatedWork W2734093795 @default.
- W2783011138 hasRelatedWork W2741264135 @default.
- W2783011138 hasRelatedWork W2888317790 @default.
- W2783011138 hasRelatedWork W2900622878 @default.
- W2783011138 hasRelatedWork W2913564078 @default.
- W2783011138 hasRelatedWork W2953681220 @default.
- W2783011138 hasRelatedWork W2963809395 @default.
- W2783011138 hasRelatedWork W3151825054 @default.
- W2783011138 hasRelatedWork W3187524524 @default.
- W2783011138 hasRelatedWork W80432740 @default.
- W2783011138 hasRelatedWork W1480772989 @default.
- W2783011138 hasRelatedWork W2131288107 @default.
- W2783011138 hasRelatedWork W2187656261 @default.
- W2783011138 isParatext "false" @default.
- W2783011138 isRetracted "false" @default.
- W2783011138 magId "2783011138" @default.
- W2783011138 workType "article" @default.