Matches in SemOpenAlex for { <https://semopenalex.org/work/W134339645> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W134339645 endingPage "429" @default.
- W134339645 startingPage "422" @default.
- W134339645 abstract "The DRAT-trim tool is a satisfiability proof checker based on the new DRAT proof format. Unlike its predecessor, DRUP-trim, all presently known SAT solving and preprocessing techniques can be validated using DRAT-trim. Checking time of a proof is comparable to the running time of the proof-producing solver. Memory usage is also similar to solving memory consumption, which overcomes a major hurdle of resolution-based proof checkers. The DRAT-trim tool can emit trimmed formulas, optimized proofs, and new TraceCheck + dependency graphs. We describe the output that is produced, what optimizations have been made to check RAT clauses, and potential applications of the tool." @default.
- W134339645 created "2016-06-24" @default.
- W134339645 creator A5025921874 @default.
- W134339645 creator A5054295100 @default.
- W134339645 creator A5084447019 @default.
- W134339645 date "2014-01-01" @default.
- W134339645 modified "2023-10-03" @default.
- W134339645 title "DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs" @default.
- W134339645 cites W139740642 @default.
- W134339645 cites W1541238879 @default.
- W134339645 cites W1564470442 @default.
- W134339645 cites W1720224351 @default.
- W134339645 cites W1800789167 @default.
- W134339645 cites W1988882144 @default.
- W134339645 cites W2021870295 @default.
- W134339645 cites W2065793351 @default.
- W134339645 cites W2133527541 @default.
- W134339645 cites W2155631901 @default.
- W134339645 cites W2215982992 @default.
- W134339645 cites W27762129 @default.
- W134339645 cites W2913257024 @default.
- W134339645 cites W4231708524 @default.
- W134339645 cites W66855977 @default.
- W134339645 doi "https://doi.org/10.1007/978-3-319-09284-3_31" @default.
- W134339645 hasPublicationYear "2014" @default.
- W134339645 type Work @default.
- W134339645 sameAs 134339645 @default.
- W134339645 citedByCount "103" @default.
- W134339645 countsByYear W1343396452014 @default.
- W134339645 countsByYear W1343396452015 @default.
- W134339645 countsByYear W1343396452016 @default.
- W134339645 countsByYear W1343396452017 @default.
- W134339645 countsByYear W1343396452018 @default.
- W134339645 countsByYear W1343396452019 @default.
- W134339645 countsByYear W1343396452020 @default.
- W134339645 countsByYear W1343396452021 @default.
- W134339645 countsByYear W1343396452022 @default.
- W134339645 countsByYear W1343396452023 @default.
- W134339645 crossrefType "book-chapter" @default.
- W134339645 hasAuthorship W134339645A5025921874 @default.
- W134339645 hasAuthorship W134339645A5054295100 @default.
- W134339645 hasAuthorship W134339645A5084447019 @default.
- W134339645 hasConcept C108710211 @default.
- W134339645 hasConcept C111919701 @default.
- W134339645 hasConcept C11413529 @default.
- W134339645 hasConcept C168773769 @default.
- W134339645 hasConcept C199360897 @default.
- W134339645 hasConcept C203265346 @default.
- W134339645 hasConcept C2524010 @default.
- W134339645 hasConcept C33923547 @default.
- W134339645 hasConcept C34736171 @default.
- W134339645 hasConcept C41008148 @default.
- W134339645 hasConcept C6943359 @default.
- W134339645 hasConcept C80444323 @default.
- W134339645 hasConcept C88611116 @default.
- W134339645 hasConceptScore W134339645C108710211 @default.
- W134339645 hasConceptScore W134339645C111919701 @default.
- W134339645 hasConceptScore W134339645C11413529 @default.
- W134339645 hasConceptScore W134339645C168773769 @default.
- W134339645 hasConceptScore W134339645C199360897 @default.
- W134339645 hasConceptScore W134339645C203265346 @default.
- W134339645 hasConceptScore W134339645C2524010 @default.
- W134339645 hasConceptScore W134339645C33923547 @default.
- W134339645 hasConceptScore W134339645C34736171 @default.
- W134339645 hasConceptScore W134339645C41008148 @default.
- W134339645 hasConceptScore W134339645C6943359 @default.
- W134339645 hasConceptScore W134339645C80444323 @default.
- W134339645 hasConceptScore W134339645C88611116 @default.
- W134339645 hasLocation W1343396451 @default.
- W134339645 hasOpenAccess W134339645 @default.
- W134339645 hasPrimaryLocation W1343396451 @default.
- W134339645 hasRelatedWork W134339645 @default.
- W134339645 hasRelatedWork W1564960435 @default.
- W134339645 hasRelatedWork W1600869845 @default.
- W134339645 hasRelatedWork W2018297885 @default.
- W134339645 hasRelatedWork W2035289314 @default.
- W134339645 hasRelatedWork W2293069733 @default.
- W134339645 hasRelatedWork W4281843089 @default.
- W134339645 hasRelatedWork W4293180102 @default.
- W134339645 hasRelatedWork W4376271928 @default.
- W134339645 hasRelatedWork W787793384 @default.
- W134339645 isParatext "false" @default.
- W134339645 isRetracted "false" @default.
- W134339645 magId "134339645" @default.
- W134339645 workType "book-chapter" @default.