Matches in SemOpenAlex for { <https://semopenalex.org/work/W2893120085> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- W2893120085 abstract "This contribution contains a fast SAT solver for Isabelle written in Standard ML. By loading the theory DPT SAT Solver, the SAT solver installs itself (under the name “dptsat”) and certain Isabelle tools like Refute will start using it automatically. This is a port of the DPT (Decision Procedure Toolkit) SAT Solver written in OCaml. Theory DPT SAT Tests tests the solver on a few hundred problems." @default.
- W2893120085 created "2018-10-05" @default.
- W2893120085 creator A5009725389 @default.
- W2893120085 date "2009-01-01" @default.
- W2893120085 modified "2023-09-24" @default.
- W2893120085 title "A Fast SAT Solver for Isabelle in Standard ML." @default.
- W2893120085 hasPublicationYear "2009" @default.
- W2893120085 type Work @default.
- W2893120085 sameAs 2893120085 @default.
- W2893120085 citedByCount "0" @default.
- W2893120085 crossrefType "journal-article" @default.
- W2893120085 hasAuthorship W2893120085A5009725389 @default.
- W2893120085 hasConcept C11413529 @default.
- W2893120085 hasConcept C164155591 @default.
- W2893120085 hasConcept C173608175 @default.
- W2893120085 hasConcept C199360897 @default.
- W2893120085 hasConcept C2778770139 @default.
- W2893120085 hasConcept C3019612716 @default.
- W2893120085 hasConcept C41008148 @default.
- W2893120085 hasConcept C459310 @default.
- W2893120085 hasConcept C6943359 @default.
- W2893120085 hasConceptScore W2893120085C11413529 @default.
- W2893120085 hasConceptScore W2893120085C164155591 @default.
- W2893120085 hasConceptScore W2893120085C173608175 @default.
- W2893120085 hasConceptScore W2893120085C199360897 @default.
- W2893120085 hasConceptScore W2893120085C2778770139 @default.
- W2893120085 hasConceptScore W2893120085C3019612716 @default.
- W2893120085 hasConceptScore W2893120085C41008148 @default.
- W2893120085 hasConceptScore W2893120085C459310 @default.
- W2893120085 hasConceptScore W2893120085C6943359 @default.
- W2893120085 hasLocation W28931200851 @default.
- W2893120085 hasOpenAccess W2893120085 @default.
- W2893120085 hasPrimaryLocation W28931200851 @default.
- W2893120085 hasRelatedWork W1558180718 @default.
- W2893120085 hasRelatedWork W1946627845 @default.
- W2893120085 hasRelatedWork W2018678448 @default.
- W2893120085 hasRelatedWork W2024147469 @default.
- W2893120085 hasRelatedWork W2036836506 @default.
- W2893120085 hasRelatedWork W2114231362 @default.
- W2893120085 hasRelatedWork W2336925918 @default.
- W2893120085 hasRelatedWork W2468912077 @default.
- W2893120085 hasRelatedWork W2575931957 @default.
- W2893120085 hasRelatedWork W2581450310 @default.
- W2893120085 hasRelatedWork W2598360978 @default.
- W2893120085 hasRelatedWork W2772971384 @default.
- W2893120085 hasRelatedWork W2778962320 @default.
- W2893120085 hasRelatedWork W3102120897 @default.
- W2893120085 hasRelatedWork W3186740446 @default.
- W2893120085 hasRelatedWork W46694604 @default.
- W2893120085 hasRelatedWork W5815757 @default.
- W2893120085 hasRelatedWork W866331153 @default.
- W2893120085 hasRelatedWork W142086041 @default.
- W2893120085 hasRelatedWork W84853941 @default.
- W2893120085 hasVolume "2009" @default.
- W2893120085 isParatext "false" @default.
- W2893120085 isRetracted "false" @default.
- W2893120085 magId "2893120085" @default.
- W2893120085 workType "article" @default.