Matches in SemOpenAlex for { <https://semopenalex.org/work/W2783222390> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2783222390 abstract "The modern SAT solvers usually update score of corresponding variables by increasing a bump value on each conflict. Those values are usually constant, but are independent of decision levels and conflicts. Sometimes, it is more efficient for local conflict optimization but weak in global searching. In this paper, we propose a CRB method (Conflicting Rate Branching), which is a variant of VSIDS but different implementation. The CRB updates the score which integrated with the decision level and conflicts whenever a variable is used in conflict analysis. We integrated CRB with MiniSat solvers and evaluated CRB on instances from the SAT Race 2015. Experimental results show that the proposed strategy can solve more instances than EVSIDS and improve performance for both SAT and UNSAT instances." @default.
- W2783222390 created "2018-01-26" @default.
- W2783222390 creator A5048656618 @default.
- W2783222390 creator A5071263492 @default.
- W2783222390 creator A5074540892 @default.
- W2783222390 creator A5090989509 @default.
- W2783222390 date "2017-11-01" @default.
- W2783222390 modified "2023-09-23" @default.
- W2783222390 title "Conflicting rate based branching heuristic for CDCL SAT solvers" @default.
- W2783222390 cites W1492725809 @default.
- W2783222390 cites W2036265926 @default.
- W2783222390 cites W2057361103 @default.
- W2783222390 cites W2085301456 @default.
- W2783222390 cites W2095709533 @default.
- W2783222390 cites W2142785340 @default.
- W2783222390 cites W2282536569 @default.
- W2783222390 cites W2564001612 @default.
- W2783222390 cites W4229840182 @default.
- W2783222390 cites W4247585869 @default.
- W2783222390 doi "https://doi.org/10.1109/iske.2017.8258777" @default.
- W2783222390 hasPublicationYear "2017" @default.
- W2783222390 type Work @default.
- W2783222390 sameAs 2783222390 @default.
- W2783222390 citedByCount "0" @default.
- W2783222390 crossrefType "proceedings-article" @default.
- W2783222390 hasAuthorship W2783222390A5048656618 @default.
- W2783222390 hasAuthorship W2783222390A5071263492 @default.
- W2783222390 hasAuthorship W2783222390A5074540892 @default.
- W2783222390 hasAuthorship W2783222390A5090989509 @default.
- W2783222390 hasConcept C11413529 @default.
- W2783222390 hasConcept C126255220 @default.
- W2783222390 hasConcept C127705205 @default.
- W2783222390 hasConcept C134306372 @default.
- W2783222390 hasConcept C154945302 @default.
- W2783222390 hasConcept C159985019 @default.
- W2783222390 hasConcept C173801870 @default.
- W2783222390 hasConcept C182365436 @default.
- W2783222390 hasConcept C192562407 @default.
- W2783222390 hasConcept C199360897 @default.
- W2783222390 hasConcept C206175624 @default.
- W2783222390 hasConcept C2777027219 @default.
- W2783222390 hasConcept C33923547 @default.
- W2783222390 hasConcept C41008148 @default.
- W2783222390 hasConcept C6943359 @default.
- W2783222390 hasConcept C80444323 @default.
- W2783222390 hasConceptScore W2783222390C11413529 @default.
- W2783222390 hasConceptScore W2783222390C126255220 @default.
- W2783222390 hasConceptScore W2783222390C127705205 @default.
- W2783222390 hasConceptScore W2783222390C134306372 @default.
- W2783222390 hasConceptScore W2783222390C154945302 @default.
- W2783222390 hasConceptScore W2783222390C159985019 @default.
- W2783222390 hasConceptScore W2783222390C173801870 @default.
- W2783222390 hasConceptScore W2783222390C182365436 @default.
- W2783222390 hasConceptScore W2783222390C192562407 @default.
- W2783222390 hasConceptScore W2783222390C199360897 @default.
- W2783222390 hasConceptScore W2783222390C206175624 @default.
- W2783222390 hasConceptScore W2783222390C2777027219 @default.
- W2783222390 hasConceptScore W2783222390C33923547 @default.
- W2783222390 hasConceptScore W2783222390C41008148 @default.
- W2783222390 hasConceptScore W2783222390C6943359 @default.
- W2783222390 hasConceptScore W2783222390C80444323 @default.
- W2783222390 hasLocation W27832223901 @default.
- W2783222390 hasOpenAccess W2783222390 @default.
- W2783222390 hasPrimaryLocation W27832223901 @default.
- W2783222390 hasRelatedWork W1523650926 @default.
- W2783222390 hasRelatedWork W1543734784 @default.
- W2783222390 hasRelatedWork W1639797060 @default.
- W2783222390 hasRelatedWork W1989547529 @default.
- W2783222390 hasRelatedWork W2007567004 @default.
- W2783222390 hasRelatedWork W2086599114 @default.
- W2783222390 hasRelatedWork W2346152773 @default.
- W2783222390 hasRelatedWork W2378726004 @default.
- W2783222390 hasRelatedWork W2509717476 @default.
- W2783222390 hasRelatedWork W2562068195 @default.
- W2783222390 hasRelatedWork W2618364148 @default.
- W2783222390 hasRelatedWork W2772146156 @default.
- W2783222390 hasRelatedWork W2778189858 @default.
- W2783222390 hasRelatedWork W2808958740 @default.
- W2783222390 hasRelatedWork W2809962539 @default.
- W2783222390 hasRelatedWork W2995083803 @default.
- W2783222390 hasRelatedWork W2996327072 @default.
- W2783222390 hasRelatedWork W3103993477 @default.
- W2783222390 hasRelatedWork W3128903755 @default.
- W2783222390 hasRelatedWork W3099947663 @default.
- W2783222390 isParatext "false" @default.
- W2783222390 isRetracted "false" @default.
- W2783222390 magId "2783222390" @default.
- W2783222390 workType "article" @default.