Matches in SemOpenAlex for { <https://semopenalex.org/work/W3148125773> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W3148125773 abstract "Boolean satisfiability (SAT) solving has become an enabling technology with wide-ranging applications in numerous disciplines. These applications tend to be most naturally encoded using arbitrary Boolean expressions, but to use modern SAT solvers, one has to generate expressions in conjunctive normal form (CNF). This process can significantly affect SAT solving times. In this paper, we introduce a new linear-time CNF generation algorithm. We have implemented our algorithm and have conducted extensive experiments, which show that our algorithm leads to faster SAT solving times and smaller CNF than existing approaches." @default.
- W3148125773 created "2021-04-13" @default.
- W3148125773 creator A5016410167 @default.
- W3148125773 creator A5029552121 @default.
- W3148125773 creator A5091343288 @default.
- W3148125773 date "2009-04-01" @default.
- W3148125773 modified "2023-09-23" @default.
- W3148125773 title "Faster SAT solving with better CNF generation" @default.
- W3148125773 cites W130862334 @default.
- W3148125773 cites W1497632410 @default.
- W3148125773 cites W1566041312 @default.
- W3148125773 cites W1999997889 @default.
- W3148125773 cites W2126662120 @default.
- W3148125773 cites W4231695381 @default.
- W3148125773 cites W4241530675 @default.
- W3148125773 doi "https://doi.org/10.1109/date.2009.5090918" @default.
- W3148125773 hasPublicationYear "2009" @default.
- W3148125773 type Work @default.
- W3148125773 sameAs 3148125773 @default.
- W3148125773 citedByCount "12" @default.
- W3148125773 countsByYear W31481257732013 @default.
- W3148125773 countsByYear W31481257732014 @default.
- W3148125773 countsByYear W31481257732016 @default.
- W3148125773 countsByYear W31481257732017 @default.
- W3148125773 countsByYear W31481257732018 @default.
- W3148125773 countsByYear W31481257732020 @default.
- W3148125773 countsByYear W31481257732023 @default.
- W3148125773 crossrefType "proceedings-article" @default.
- W3148125773 hasAuthorship W3148125773A5016410167 @default.
- W3148125773 hasAuthorship W3148125773A5029552121 @default.
- W3148125773 hasAuthorship W3148125773A5091343288 @default.
- W3148125773 hasConcept C111797529 @default.
- W3148125773 hasConcept C11413529 @default.
- W3148125773 hasConcept C115051666 @default.
- W3148125773 hasConcept C16221470 @default.
- W3148125773 hasConcept C168773769 @default.
- W3148125773 hasConcept C187455244 @default.
- W3148125773 hasConcept C199360897 @default.
- W3148125773 hasConcept C200415742 @default.
- W3148125773 hasConcept C41008148 @default.
- W3148125773 hasConcept C6943359 @default.
- W3148125773 hasConcept C76155785 @default.
- W3148125773 hasConcept C80444323 @default.
- W3148125773 hasConcept C98045186 @default.
- W3148125773 hasConceptScore W3148125773C111797529 @default.
- W3148125773 hasConceptScore W3148125773C11413529 @default.
- W3148125773 hasConceptScore W3148125773C115051666 @default.
- W3148125773 hasConceptScore W3148125773C16221470 @default.
- W3148125773 hasConceptScore W3148125773C168773769 @default.
- W3148125773 hasConceptScore W3148125773C187455244 @default.
- W3148125773 hasConceptScore W3148125773C199360897 @default.
- W3148125773 hasConceptScore W3148125773C200415742 @default.
- W3148125773 hasConceptScore W3148125773C41008148 @default.
- W3148125773 hasConceptScore W3148125773C6943359 @default.
- W3148125773 hasConceptScore W3148125773C76155785 @default.
- W3148125773 hasConceptScore W3148125773C80444323 @default.
- W3148125773 hasConceptScore W3148125773C98045186 @default.
- W3148125773 hasLocation W31481257731 @default.
- W3148125773 hasOpenAccess W3148125773 @default.
- W3148125773 hasPrimaryLocation W31481257731 @default.
- W3148125773 hasRelatedWork W1531414918 @default.
- W3148125773 hasRelatedWork W1757210337 @default.
- W3148125773 hasRelatedWork W2014111643 @default.
- W3148125773 hasRelatedWork W2154474334 @default.
- W3148125773 hasRelatedWork W2332241156 @default.
- W3148125773 hasRelatedWork W2486424993 @default.
- W3148125773 hasRelatedWork W2558119813 @default.
- W3148125773 hasRelatedWork W2796388654 @default.
- W3148125773 hasRelatedWork W2981948274 @default.
- W3148125773 hasRelatedWork W3107131366 @default.
- W3148125773 isParatext "false" @default.
- W3148125773 isRetracted "false" @default.
- W3148125773 magId "3148125773" @default.
- W3148125773 workType "article" @default.