Matches in SemOpenAlex for { <https://semopenalex.org/work/W1600508047> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W1600508047 endingPage "181" @default.
- W1600508047 startingPage "168" @default.
- W1600508047 abstract "Boolean Satisfiability (SAT) solvers have been successfully applied to a wide range of practical applications, including hardware model checking, software model finding, equivalence checking, and planning, among many others. SAT solvers are also the building block of more sophisticated decision procedures, including Satisfiability Modulo Theory (SMT) solvers. The large number of applications of SAT yields ever more challenging problem instances, and motivate the development of more efficient algorithms. Recent work studied hybrid approaches for SAT, which involves integrating incomplete and complete SAT solvers. This paper proposes a number of improvements to hybrid SAT solvers. Experimental results demonstrate that the proposed optimizations are effective. The resulting algorithms in general perform better and, more importantly, are significantly more robust." @default.
- W1600508047 created "2016-06-24" @default.
- W1600508047 creator A5002246957 @default.
- W1600508047 creator A5054892568 @default.
- W1600508047 date "2008-05-06" @default.
- W1600508047 modified "2023-10-16" @default.
- W1600508047 title "Improvements to Hybrid Incremental SAT Algorithms" @default.
- W1600508047 cites W109784087 @default.
- W1600508047 cites W1495369628 @default.
- W1600508047 cites W1518705996 @default.
- W1600508047 cites W1523041988 @default.
- W1600508047 cites W1552098422 @default.
- W1600508047 cites W1594093112 @default.
- W1600508047 cites W1602917641 @default.
- W1600508047 cites W1606514674 @default.
- W1600508047 cites W2060265333 @default.
- W1600508047 cites W2062897452 @default.
- W1600508047 cites W2141037672 @default.
- W1600508047 cites W2151398141 @default.
- W1600508047 cites W4230861408 @default.
- W1600508047 cites W4231640108 @default.
- W1600508047 cites W4235773363 @default.
- W1600508047 cites W4247585869 @default.
- W1600508047 doi "https://doi.org/10.1007/978-3-540-79719-7_17" @default.
- W1600508047 hasPublicationYear "2008" @default.
- W1600508047 type Work @default.
- W1600508047 sameAs 1600508047 @default.
- W1600508047 citedByCount "12" @default.
- W1600508047 countsByYear W16005080472013 @default.
- W1600508047 countsByYear W16005080472016 @default.
- W1600508047 countsByYear W16005080472020 @default.
- W1600508047 countsByYear W16005080472021 @default.
- W1600508047 crossrefType "book-chapter" @default.
- W1600508047 hasAuthorship W1600508047A5002246957 @default.
- W1600508047 hasAuthorship W1600508047A5054892568 @default.
- W1600508047 hasBestOaLocation W16005080472 @default.
- W1600508047 hasConcept C110251889 @default.
- W1600508047 hasConcept C11413529 @default.
- W1600508047 hasConcept C118615104 @default.
- W1600508047 hasConcept C159985019 @default.
- W1600508047 hasConcept C164155591 @default.
- W1600508047 hasConcept C168773769 @default.
- W1600508047 hasConcept C192562407 @default.
- W1600508047 hasConcept C204323151 @default.
- W1600508047 hasConcept C2524010 @default.
- W1600508047 hasConcept C2777210771 @default.
- W1600508047 hasConcept C2780069185 @default.
- W1600508047 hasConcept C33923547 @default.
- W1600508047 hasConcept C41008148 @default.
- W1600508047 hasConcept C54732982 @default.
- W1600508047 hasConcept C6943359 @default.
- W1600508047 hasConcept C80444323 @default.
- W1600508047 hasConceptScore W1600508047C110251889 @default.
- W1600508047 hasConceptScore W1600508047C11413529 @default.
- W1600508047 hasConceptScore W1600508047C118615104 @default.
- W1600508047 hasConceptScore W1600508047C159985019 @default.
- W1600508047 hasConceptScore W1600508047C164155591 @default.
- W1600508047 hasConceptScore W1600508047C168773769 @default.
- W1600508047 hasConceptScore W1600508047C192562407 @default.
- W1600508047 hasConceptScore W1600508047C204323151 @default.
- W1600508047 hasConceptScore W1600508047C2524010 @default.
- W1600508047 hasConceptScore W1600508047C2777210771 @default.
- W1600508047 hasConceptScore W1600508047C2780069185 @default.
- W1600508047 hasConceptScore W1600508047C33923547 @default.
- W1600508047 hasConceptScore W1600508047C41008148 @default.
- W1600508047 hasConceptScore W1600508047C54732982 @default.
- W1600508047 hasConceptScore W1600508047C6943359 @default.
- W1600508047 hasConceptScore W1600508047C80444323 @default.
- W1600508047 hasLocation W16005080471 @default.
- W1600508047 hasLocation W16005080472 @default.
- W1600508047 hasOpenAccess W1600508047 @default.
- W1600508047 hasPrimaryLocation W16005080471 @default.
- W1600508047 hasRelatedWork W1936354298 @default.
- W1600508047 hasRelatedWork W2141151670 @default.
- W1600508047 hasRelatedWork W2210642749 @default.
- W1600508047 hasRelatedWork W2400691703 @default.
- W1600508047 hasRelatedWork W2540053705 @default.
- W1600508047 hasRelatedWork W2735287568 @default.
- W1600508047 hasRelatedWork W3023596811 @default.
- W1600508047 hasRelatedWork W3037607571 @default.
- W1600508047 hasRelatedWork W4241145878 @default.
- W1600508047 hasRelatedWork W4295885746 @default.
- W1600508047 isParatext "false" @default.
- W1600508047 isRetracted "false" @default.
- W1600508047 magId "1600508047" @default.
- W1600508047 workType "book-chapter" @default.