Matches in SemOpenAlex for { <https://semopenalex.org/work/W1854540354> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W1854540354 abstract "We present a general framework for CNF-representations of boolean constraints, to be used for translating decision problems into SAT problems (i.e., deciding satisfiability for conjunctive normal forms). We apply it to the representation of systems of XOR-constraints, also known as systems of linear equations over the two-element field, or systems of parity constraints. The general framework defines the notion of representation, and provides several methods to measure the quality of the representation by the complexity (hardness) needed for making implicit knowledge of the representation explicit (to a SAT-solving mechanism). We obtain general upper and lower bounds. Applied to systems of XOR-constraints, we show a super-polynomial lower bound on good representations under very general circumstances. A corresponding upper bound shows fixed-parameter tractability in the number of constraints. The measurement underlying this upper bound ignores the auxiliary variables needed for shorter representations of XOR-constraints. Improved upper bounds (for special cases) take them into account, and a rich picture begins to emerge, under the various hardness measurements." @default.
- W1854540354 created "2016-06-24" @default.
- W1854540354 creator A5038237698 @default.
- W1854540354 creator A5073035961 @default.
- W1854540354 date "2014-06-28" @default.
- W1854540354 modified "2023-09-27" @default.
- W1854540354 title "A framework for good SAT translations, with applications to CNF representations of XOR constraints." @default.
- W1854540354 cites W1550483759 @default.
- W1854540354 cites W1858694994 @default.
- W1854540354 cites W197442852 @default.
- W1854540354 cites W1987179059 @default.
- W1854540354 cites W2116758077 @default.
- W1854540354 cites W2124509406 @default.
- W1854540354 cites W2571456248 @default.
- W1854540354 cites W82625556 @default.
- W1854540354 hasPublicationYear "2014" @default.
- W1854540354 type Work @default.
- W1854540354 sameAs 1854540354 @default.
- W1854540354 citedByCount "2" @default.
- W1854540354 countsByYear W18545403542013 @default.
- W1854540354 countsByYear W18545403542020 @default.
- W1854540354 crossrefType "posted-content" @default.
- W1854540354 hasAuthorship W1854540354A5038237698 @default.
- W1854540354 hasAuthorship W1854540354A5073035961 @default.
- W1854540354 hasConcept C109214941 @default.
- W1854540354 hasConcept C118615104 @default.
- W1854540354 hasConcept C121332964 @default.
- W1854540354 hasConcept C134306372 @default.
- W1854540354 hasConcept C16221470 @default.
- W1854540354 hasConcept C168773769 @default.
- W1854540354 hasConcept C17744445 @default.
- W1854540354 hasConcept C199539241 @default.
- W1854540354 hasConcept C200415742 @default.
- W1854540354 hasConcept C2776359362 @default.
- W1854540354 hasConcept C2777151079 @default.
- W1854540354 hasConcept C2780009758 @default.
- W1854540354 hasConcept C33923547 @default.
- W1854540354 hasConcept C41008148 @default.
- W1854540354 hasConcept C6943359 @default.
- W1854540354 hasConcept C77088390 @default.
- W1854540354 hasConcept C77553402 @default.
- W1854540354 hasConcept C80444323 @default.
- W1854540354 hasConcept C94625758 @default.
- W1854540354 hasConceptScore W1854540354C109214941 @default.
- W1854540354 hasConceptScore W1854540354C118615104 @default.
- W1854540354 hasConceptScore W1854540354C121332964 @default.
- W1854540354 hasConceptScore W1854540354C134306372 @default.
- W1854540354 hasConceptScore W1854540354C16221470 @default.
- W1854540354 hasConceptScore W1854540354C168773769 @default.
- W1854540354 hasConceptScore W1854540354C17744445 @default.
- W1854540354 hasConceptScore W1854540354C199539241 @default.
- W1854540354 hasConceptScore W1854540354C200415742 @default.
- W1854540354 hasConceptScore W1854540354C2776359362 @default.
- W1854540354 hasConceptScore W1854540354C2777151079 @default.
- W1854540354 hasConceptScore W1854540354C2780009758 @default.
- W1854540354 hasConceptScore W1854540354C33923547 @default.
- W1854540354 hasConceptScore W1854540354C41008148 @default.
- W1854540354 hasConceptScore W1854540354C6943359 @default.
- W1854540354 hasConceptScore W1854540354C77088390 @default.
- W1854540354 hasConceptScore W1854540354C77553402 @default.
- W1854540354 hasConceptScore W1854540354C80444323 @default.
- W1854540354 hasConceptScore W1854540354C94625758 @default.
- W1854540354 hasLocation W18545403541 @default.
- W1854540354 hasOpenAccess W1854540354 @default.
- W1854540354 hasPrimaryLocation W18545403541 @default.
- W1854540354 hasRelatedWork W1673174530 @default.
- W1854540354 hasRelatedWork W1783093891 @default.
- W1854540354 hasRelatedWork W1990426442 @default.
- W1854540354 hasRelatedWork W2000423606 @default.
- W1854540354 hasRelatedWork W2010312047 @default.
- W1854540354 hasRelatedWork W201592243 @default.
- W1854540354 hasRelatedWork W203949653 @default.
- W1854540354 hasRelatedWork W2125639421 @default.
- W1854540354 hasRelatedWork W2186611998 @default.
- W1854540354 hasRelatedWork W2187260976 @default.
- W1854540354 hasRelatedWork W2295723447 @default.
- W1854540354 hasRelatedWork W2296658079 @default.
- W1854540354 hasRelatedWork W2586688167 @default.
- W1854540354 hasRelatedWork W2600686309 @default.
- W1854540354 hasRelatedWork W3016592800 @default.
- W1854540354 hasRelatedWork W3039470177 @default.
- W1854540354 hasRelatedWork W3099325101 @default.
- W1854540354 hasRelatedWork W3137545899 @default.
- W1854540354 hasRelatedWork W78945047 @default.
- W1854540354 hasRelatedWork W2127369157 @default.
- W1854540354 isParatext "false" @default.
- W1854540354 isRetracted "false" @default.
- W1854540354 magId "1854540354" @default.
- W1854540354 workType "article" @default.