Matches in SemOpenAlex for { <https://semopenalex.org/work/W2951799119> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2951799119 abstract "We study local-search satisfiability solvers for propositional logic extended with cardinality atoms, that is, expressions that provide explicit ways to model constraints on cardinalities of sets. Adding cardinality atoms to the language of propositional logic facilitates modeling search problems and often results in concise encodings. We propose two ``native'' local-search solvers for theories in the extended language. We also describe techniques to reduce the problem to standard propositional satisfiability and allow us to use off-the-shelf SAT solvers. We study these methods experimentally. Our general finding is that native solvers designed specifically for the extended language perform better than indirect methods relying on SAT solvers." @default.
- W2951799119 created "2019-06-27" @default.
- W2951799119 creator A5064243505 @default.
- W2951799119 creator A5079794036 @default.
- W2951799119 date "2003-10-31" @default.
- W2951799119 modified "2023-09-27" @default.
- W2951799119 title "Local-search techniques for propositional logic extended with cardinality constraints" @default.
- W2951799119 cites W1914194454 @default.
- W2951799119 cites W2067241820 @default.
- W2951799119 cites W2075959177 @default.
- W2951799119 cites W2117188169 @default.
- W2951799119 cites W2165372647 @default.
- W2951799119 cites W60367733 @default.
- W2951799119 hasPublicationYear "2003" @default.
- W2951799119 type Work @default.
- W2951799119 sameAs 2951799119 @default.
- W2951799119 citedByCount "0" @default.
- W2951799119 crossrefType "posted-content" @default.
- W2951799119 hasAuthorship W2951799119A5064243505 @default.
- W2951799119 hasAuthorship W2951799119A5079794036 @default.
- W2951799119 hasConcept C102993220 @default.
- W2951799119 hasConcept C11413529 @default.
- W2951799119 hasConcept C124101348 @default.
- W2951799119 hasConcept C14523651 @default.
- W2951799119 hasConcept C168773769 @default.
- W2951799119 hasConcept C191222856 @default.
- W2951799119 hasConcept C199360897 @default.
- W2951799119 hasConcept C33203268 @default.
- W2951799119 hasConcept C33923547 @default.
- W2951799119 hasConcept C41008148 @default.
- W2951799119 hasConcept C6943359 @default.
- W2951799119 hasConcept C69562738 @default.
- W2951799119 hasConcept C74640108 @default.
- W2951799119 hasConcept C80444323 @default.
- W2951799119 hasConcept C87117476 @default.
- W2951799119 hasConceptScore W2951799119C102993220 @default.
- W2951799119 hasConceptScore W2951799119C11413529 @default.
- W2951799119 hasConceptScore W2951799119C124101348 @default.
- W2951799119 hasConceptScore W2951799119C14523651 @default.
- W2951799119 hasConceptScore W2951799119C168773769 @default.
- W2951799119 hasConceptScore W2951799119C191222856 @default.
- W2951799119 hasConceptScore W2951799119C199360897 @default.
- W2951799119 hasConceptScore W2951799119C33203268 @default.
- W2951799119 hasConceptScore W2951799119C33923547 @default.
- W2951799119 hasConceptScore W2951799119C41008148 @default.
- W2951799119 hasConceptScore W2951799119C6943359 @default.
- W2951799119 hasConceptScore W2951799119C69562738 @default.
- W2951799119 hasConceptScore W2951799119C74640108 @default.
- W2951799119 hasConceptScore W2951799119C80444323 @default.
- W2951799119 hasConceptScore W2951799119C87117476 @default.
- W2951799119 hasLocation W29517991191 @default.
- W2951799119 hasOpenAccess W2951799119 @default.
- W2951799119 hasPrimaryLocation W29517991191 @default.
- W2951799119 hasRelatedWork W108963745 @default.
- W2951799119 hasRelatedWork W146765414 @default.
- W2951799119 hasRelatedWork W1489411336 @default.
- W2951799119 hasRelatedWork W1492439953 @default.
- W2951799119 hasRelatedWork W1499043148 @default.
- W2951799119 hasRelatedWork W1507789381 @default.
- W2951799119 hasRelatedWork W1512621320 @default.
- W2951799119 hasRelatedWork W1631189970 @default.
- W2951799119 hasRelatedWork W170245869 @default.
- W2951799119 hasRelatedWork W1990083896 @default.
- W2951799119 hasRelatedWork W2037680703 @default.
- W2951799119 hasRelatedWork W2089805461 @default.
- W2951799119 hasRelatedWork W2100699693 @default.
- W2951799119 hasRelatedWork W2117587600 @default.
- W2951799119 hasRelatedWork W2293411300 @default.
- W2951799119 hasRelatedWork W2338679082 @default.
- W2951799119 hasRelatedWork W2505717744 @default.
- W2951799119 hasRelatedWork W2533719471 @default.
- W2951799119 hasRelatedWork W2604674395 @default.
- W2951799119 hasRelatedWork W185426153 @default.
- W2951799119 isParatext "false" @default.
- W2951799119 isRetracted "false" @default.
- W2951799119 magId "2951799119" @default.
- W2951799119 workType "article" @default.