Matches in SemOpenAlex for { <https://semopenalex.org/work/W198210217> ?p ?o ?g. }
Showing items 1 to 56 of
56
with 100 items per page.
- W198210217 endingPage "14" @default.
- W198210217 startingPage "1" @default.
- W198210217 abstract "This paper generalizes the notion of the backbone of a CNF formula to capture also equations between literals. Each such equation applies to remove a variable from the original formula thus simplifying the formula without changing its satisfiability, or the number of its satisfying assignments. We prove that for a formula with n variables, the generalized backbone is computed with at most n + 1 satisfiable calls and exactly one unsatisfiable call to the SAT solver. We illustrate the integration of generalized backbone computation to facilitate the encoding of finite domain constraints to SAT. In this context generalized backbones are computed for small groups of constraints and then propagated to simplify the entire constraint model. A preliminary experimental evaluation is provided." @default.
- W198210217 created "2016-06-24" @default.
- W198210217 creator A5009260756 @default.
- W198210217 creator A5009971351 @default.
- W198210217 creator A5063747415 @default.
- W198210217 date "2013-01-01" @default.
- W198210217 modified "2023-09-24" @default.
- W198210217 title "Backbones for Equality" @default.
- W198210217 cites W123368295 @default.
- W198210217 cites W1498682591 @default.
- W198210217 cites W1650993530 @default.
- W198210217 cites W1845657774 @default.
- W198210217 cites W1950282396 @default.
- W198210217 cites W1966969478 @default.
- W198210217 cites W1979328057 @default.
- W198210217 cites W2023379267 @default.
- W198210217 cites W2089500395 @default.
- W198210217 cites W2150353295 @default.
- W198210217 cites W3102811762 @default.
- W198210217 cites W54305883 @default.
- W198210217 cites W61552399 @default.
- W198210217 doi "https://doi.org/10.1007/978-3-319-03077-7_1" @default.
- W198210217 hasPublicationYear "2013" @default.
- W198210217 type Work @default.
- W198210217 sameAs 198210217 @default.
- W198210217 citedByCount "3" @default.
- W198210217 countsByYear W1982102172014 @default.
- W198210217 countsByYear W1982102172017 @default.
- W198210217 countsByYear W1982102172021 @default.
- W198210217 crossrefType "book-chapter" @default.
- W198210217 hasAuthorship W198210217A5009260756 @default.
- W198210217 hasAuthorship W198210217A5009971351 @default.
- W198210217 hasAuthorship W198210217A5063747415 @default.
- W198210217 hasConcept C144024400 @default.
- W198210217 hasConcept C17744445 @default.
- W198210217 hasConceptScore W198210217C144024400 @default.
- W198210217 hasConceptScore W198210217C17744445 @default.
- W198210217 hasLocation W1982102171 @default.
- W198210217 hasOpenAccess W198210217 @default.
- W198210217 hasPrimaryLocation W1982102171 @default.
- W198210217 hasRelatedWork W1502603788 @default.
- W198210217 hasRelatedWork W2577528151 @default.
- W198210217 hasRelatedWork W2743539335 @default.
- W198210217 hasRelatedWork W2748952813 @default.
- W198210217 hasRelatedWork W2890326160 @default.
- W198210217 hasRelatedWork W2899084033 @default.
- W198210217 hasRelatedWork W2922049016 @default.
- W198210217 hasRelatedWork W2949263084 @default.
- W198210217 hasRelatedWork W2955725829 @default.
- W198210217 hasRelatedWork W594353338 @default.
- W198210217 isParatext "false" @default.
- W198210217 isRetracted "false" @default.
- W198210217 magId "198210217" @default.
- W198210217 workType "book-chapter" @default.