Matches in SemOpenAlex for { <https://semopenalex.org/work/W4386363516> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W4386363516 endingPage "219" @default.
- W4386363516 startingPage "207" @default.
- W4386363516 abstract "Abstract IsaSAT is the most advanced verified SAT solver, but it did not yet feature inprocessing (to simplify and strengthen clauses). In order to improve performance, we enriched the base calculus to not only do CDCL but also inprocess clauses. We also replaced the target of our code synthesis by Isabelle/LLVM. With these improvements, we can solve 4 times more SAT Competition 2022 problems than the original IsaSAT version, and 4.5 times more problems than any other verified SAT solver we are aware of. Additionally, our changes significantly reduce the trusted code base of our verification." @default.
- W4386363516 created "2023-09-02" @default.
- W4386363516 creator A5082037264 @default.
- W4386363516 creator A5086520801 @default.
- W4386363516 date "2023-01-01" @default.
- W4386363516 modified "2023-09-27" @default.
- W4386363516 title "A More Pragmatic CDCL for IsaSAT and Targetting LLVM (Short Paper)" @default.
- W4386363516 cites W134339645 @default.
- W4386363516 cites W1522519483 @default.
- W4386363516 cites W1523874359 @default.
- W4386363516 cites W2142785340 @default.
- W4386363516 cites W2159430067 @default.
- W4386363516 cites W2206900256 @default.
- W4386363516 cites W2286662631 @default.
- W4386363516 cites W2762980364 @default.
- W4386363516 cites W2790974881 @default.
- W4386363516 cites W2913257024 @default.
- W4386363516 cites W2944421753 @default.
- W4386363516 cites W2947570001 @default.
- W4386363516 cites W2956139423 @default.
- W4386363516 cites W3128313128 @default.
- W4386363516 cites W3137055701 @default.
- W4386363516 cites W4246166885 @default.
- W4386363516 cites W4250846042 @default.
- W4386363516 cites W4283694298 @default.
- W4386363516 cites W4295705322 @default.
- W4386363516 cites W46694604 @default.
- W4386363516 doi "https://doi.org/10.1007/978-3-031-38499-8_12" @default.
- W4386363516 hasPublicationYear "2023" @default.
- W4386363516 type Work @default.
- W4386363516 citedByCount "0" @default.
- W4386363516 crossrefType "book-chapter" @default.
- W4386363516 hasAuthorship W4386363516A5082037264 @default.
- W4386363516 hasAuthorship W4386363516A5086520801 @default.
- W4386363516 hasBestOaLocation W43863635161 @default.
- W4386363516 hasConcept C134306372 @default.
- W4386363516 hasConcept C138885662 @default.
- W4386363516 hasConcept C173608175 @default.
- W4386363516 hasConcept C177264268 @default.
- W4386363516 hasConcept C199360897 @default.
- W4386363516 hasConcept C2776401178 @default.
- W4386363516 hasConcept C2776760102 @default.
- W4386363516 hasConcept C2778770139 @default.
- W4386363516 hasConcept C3019612716 @default.
- W4386363516 hasConcept C33923547 @default.
- W4386363516 hasConcept C41008148 @default.
- W4386363516 hasConcept C41895202 @default.
- W4386363516 hasConcept C42058472 @default.
- W4386363516 hasConcept C459310 @default.
- W4386363516 hasConcept C6943359 @default.
- W4386363516 hasConcept C80444323 @default.
- W4386363516 hasConceptScore W4386363516C134306372 @default.
- W4386363516 hasConceptScore W4386363516C138885662 @default.
- W4386363516 hasConceptScore W4386363516C173608175 @default.
- W4386363516 hasConceptScore W4386363516C177264268 @default.
- W4386363516 hasConceptScore W4386363516C199360897 @default.
- W4386363516 hasConceptScore W4386363516C2776401178 @default.
- W4386363516 hasConceptScore W4386363516C2776760102 @default.
- W4386363516 hasConceptScore W4386363516C2778770139 @default.
- W4386363516 hasConceptScore W4386363516C3019612716 @default.
- W4386363516 hasConceptScore W4386363516C33923547 @default.
- W4386363516 hasConceptScore W4386363516C41008148 @default.
- W4386363516 hasConceptScore W4386363516C41895202 @default.
- W4386363516 hasConceptScore W4386363516C42058472 @default.
- W4386363516 hasConceptScore W4386363516C459310 @default.
- W4386363516 hasConceptScore W4386363516C6943359 @default.
- W4386363516 hasConceptScore W4386363516C80444323 @default.
- W4386363516 hasLocation W43863635161 @default.
- W4386363516 hasOpenAccess W4386363516 @default.
- W4386363516 hasPrimaryLocation W43863635161 @default.
- W4386363516 hasRelatedWork W1518705996 @default.
- W4386363516 hasRelatedWork W2080076943 @default.
- W4386363516 hasRelatedWork W2111224220 @default.
- W4386363516 hasRelatedWork W2392858504 @default.
- W4386363516 hasRelatedWork W2548168801 @default.
- W4386363516 hasRelatedWork W2791746724 @default.
- W4386363516 hasRelatedWork W2949770228 @default.
- W4386363516 hasRelatedWork W3200471374 @default.
- W4386363516 hasRelatedWork W4301660329 @default.
- W4386363516 hasRelatedWork W866331153 @default.
- W4386363516 isParatext "false" @default.
- W4386363516 isRetracted "false" @default.
- W4386363516 workType "book-chapter" @default.