Matches in SemOpenAlex for { <https://semopenalex.org/work/W3127635358> ?p ?o ?g. }
Showing items 1 to 49 of
49
with 100 items per page.
- W3127635358 abstract "Before a combinatorial problem can be solved by current SAT methods, it must usually be encoded in conjunctive normal form, which facilitates algorithm implementation and allows a common file format for problems. Unfortunately there are several ways of encoding most problems and few guidelines on how to choose among them, yet the choice of encoding can be as important as the choice of search algorithm. This chapter reviews theoretical and empirical work on encoding methods, including the use of Tseitin encodings, the encoding of extensional and intensional constraints, the interaction between encodings and search algorithms, and some common sources of error. Case studies are used for illustration." @default.
- W3127635358 created "2021-02-15" @default.
- W3127635358 creator A5038199174 @default.
- W3127635358 date "2021-02-02" @default.
- W3127635358 modified "2023-09-24" @default.
- W3127635358 title "Chapter 2. CNF Encodings" @default.
- W3127635358 doi "https://doi.org/10.3233/faia200985" @default.
- W3127635358 hasPublicationYear "2021" @default.
- W3127635358 type Work @default.
- W3127635358 sameAs 3127635358 @default.
- W3127635358 citedByCount "1" @default.
- W3127635358 countsByYear W31276353582021 @default.
- W3127635358 crossrefType "book-chapter" @default.
- W3127635358 hasAuthorship W3127635358A5038199174 @default.
- W3127635358 hasConcept C11413529 @default.
- W3127635358 hasConcept C125411270 @default.
- W3127635358 hasConcept C136137745 @default.
- W3127635358 hasConcept C151730666 @default.
- W3127635358 hasConcept C154945302 @default.
- W3127635358 hasConcept C41008148 @default.
- W3127635358 hasConcept C77928131 @default.
- W3127635358 hasConcept C80444323 @default.
- W3127635358 hasConcept C86803240 @default.
- W3127635358 hasConceptScore W3127635358C11413529 @default.
- W3127635358 hasConceptScore W3127635358C125411270 @default.
- W3127635358 hasConceptScore W3127635358C136137745 @default.
- W3127635358 hasConceptScore W3127635358C151730666 @default.
- W3127635358 hasConceptScore W3127635358C154945302 @default.
- W3127635358 hasConceptScore W3127635358C41008148 @default.
- W3127635358 hasConceptScore W3127635358C77928131 @default.
- W3127635358 hasConceptScore W3127635358C80444323 @default.
- W3127635358 hasConceptScore W3127635358C86803240 @default.
- W3127635358 hasLocation W31276353581 @default.
- W3127635358 hasOpenAccess W3127635358 @default.
- W3127635358 hasPrimaryLocation W31276353581 @default.
- W3127635358 hasRelatedWork W11934628 @default.
- W3127635358 hasRelatedWork W12482956 @default.
- W3127635358 hasRelatedWork W1460658 @default.
- W3127635358 hasRelatedWork W5684657 @default.
- W3127635358 hasRelatedWork W6973530 @default.
- W3127635358 hasRelatedWork W7232811 @default.
- W3127635358 hasRelatedWork W7463389 @default.
- W3127635358 hasRelatedWork W8168616 @default.
- W3127635358 hasRelatedWork W9380573 @default.
- W3127635358 hasRelatedWork W9511043 @default.
- W3127635358 isParatext "false" @default.
- W3127635358 isRetracted "false" @default.
- W3127635358 magId "3127635358" @default.
- W3127635358 workType "book-chapter" @default.