FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W78552530> ?p ?o ?g. }

• W78552530 endingPage "404" @default.
• W78552530 startingPage "399" @default.
• W78552530 abstract "Beside impressive progresses made by SAT solvers over the last ten years, only few works tried to understand why Conflict Directed Clause Learning algorithms (CDCL) are so strong and efficient on most industrial applications. We report in this work a key observation of CDCL solvers behavior on this family of benchmarks and explain it by an unsuspected side effect of their particular Clause Learning scheme. This new paradigm allows us to solve an important, still open, question: How to designing a fast, static, accurate, and predictive measure of new learnt clauses pertinence. Our paper is followed by empirical evidences that show how our new learning scheme improves state-of-the art results by an order of magnitude on both SAT and UNSAT industrial problems." @default.
• W78552530 created "2016-06-24" @default.
• W78552530 creator A5025996497 @default.
• W78552530 creator A5063062178 @default.
• W78552530 date "2009-07-11" @default.
• W78552530 modified "2023-09-30" @default.
• W78552530 title "Predicting learnt clauses quality in modern SAT solvers" @default.
• W78552530 cites W1518705996 @default.
• W78552530 cites W1586677474 @default.
• W78552530 cites W1608123432 @default.
• W78552530 cites W1709155369 @default.
• W78552530 cites W1950282396 @default.
• W78552530 cites W2001859357 @default.
• W78552530 cites W203746830 @default.
• W78552530 cites W2095709533 @default.
• W78552530 cites W2096307462 @default.
• W78552530 cites W2142648466 @default.
• W78552530 cites W2142785340 @default.
• W78552530 cites W30950413 @default.
• W78552530 cites W2611224254 @default.
• W78552530 hasPublicationYear "2009" @default.
• W78552530 type Work @default.
• W78552530 sameAs 78552530 @default.
• W78552530 citedByCount "227" @default.
• W78552530 countsByYear W785525302012 @default.
• W78552530 countsByYear W785525302013 @default.
• W78552530 countsByYear W785525302014 @default.
• W78552530 countsByYear W785525302015 @default.
• W78552530 countsByYear W785525302016 @default.
• W78552530 countsByYear W785525302017 @default.
• W78552530 countsByYear W785525302018 @default.
• W78552530 countsByYear W785525302019 @default.
• W78552530 countsByYear W785525302020 @default.
• W78552530 countsByYear W785525302021 @default.
• W78552530 countsByYear W785525302022 @default.
• W78552530 crossrefType "proceedings-article" @default.
• W78552530 hasAuthorship W78552530A5025996497 @default.
• W78552530 hasAuthorship W78552530A5063062178 @default.
• W78552530 hasConcept C10138342 @default.
• W78552530 hasConcept C111472728 @default.
• W78552530 hasConcept C119857082 @default.
• W78552530 hasConcept C124101348 @default.
• W78552530 hasConcept C134306372 @default.
• W78552530 hasConcept C138885662 @default.
• W78552530 hasConcept C154945302 @default.
• W78552530 hasConcept C162324750 @default.
• W78552530 hasConcept C182306322 @default.
• W78552530 hasConcept C26517878 @default.
• W78552530 hasConcept C2779530757 @default.
• W78552530 hasConcept C2780009758 @default.
• W78552530 hasConcept C33923547 @default.
• W78552530 hasConcept C38652104 @default.
• W78552530 hasConcept C41008148 @default.
• W78552530 hasConcept C77618280 @default.
• W78552530 hasConcept C80444323 @default.
• W78552530 hasConceptScore W78552530C10138342 @default.
• W78552530 hasConceptScore W78552530C111472728 @default.
• W78552530 hasConceptScore W78552530C119857082 @default.
• W78552530 hasConceptScore W78552530C124101348 @default.
• W78552530 hasConceptScore W78552530C134306372 @default.
• W78552530 hasConceptScore W78552530C138885662 @default.
• W78552530 hasConceptScore W78552530C154945302 @default.
• W78552530 hasConceptScore W78552530C162324750 @default.
• W78552530 hasConceptScore W78552530C182306322 @default.
• W78552530 hasConceptScore W78552530C26517878 @default.
• W78552530 hasConceptScore W78552530C2779530757 @default.
• W78552530 hasConceptScore W78552530C2780009758 @default.
• W78552530 hasConceptScore W78552530C33923547 @default.
• W78552530 hasConceptScore W78552530C38652104 @default.
• W78552530 hasConceptScore W78552530C41008148 @default.
• W78552530 hasConceptScore W78552530C77618280 @default.
• W78552530 hasConceptScore W78552530C80444323 @default.
• W78552530 hasLocation W785525301 @default.
• W78552530 hasOpenAccess W78552530 @default.
• W78552530 hasPrimaryLocation W785525301 @default.
• W78552530 hasRelatedWork W1518705996 @default.
• W78552530 hasRelatedWork W1608123432 @default.
• W78552530 hasRelatedWork W1950282396 @default.
• W78552530 hasRelatedWork W2036265926 @default.
• W78552530 hasRelatedWork W203746830 @default.
• W78552530 hasRelatedWork W2044560939 @default.
• W78552530 hasRelatedWork W2048051309 @default.
• W78552530 hasRelatedWork W2057361103 @default.
• W78552530 hasRelatedWork W2062897452 @default.
• W78552530 hasRelatedWork W2096307462 @default.
• W78552530 hasRelatedWork W2100609826 @default.
• W78552530 hasRelatedWork W2103406309 @default.
• W78552530 hasRelatedWork W2119190805 @default.
• W78552530 hasRelatedWork W2133527541 @default.
• W78552530 hasRelatedWork W2142785340 @default.
• W78552530 hasRelatedWork W2154318861 @default.
• W78552530 hasRelatedWork W2171790376 @default.
• W78552530 hasRelatedWork W2498324117 @default.
• W78552530 hasRelatedWork W2913257024 @default.
• W78552530 hasRelatedWork W82625556 @default.
• W78552530 isParatext "false" @default.
• W78552530 isRetracted "false" @default.
• W78552530 magId "78552530" @default.

• next