Matches in SemOpenAlex for { <https://semopenalex.org/work/W4310942634> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W4310942634 abstract "On the one hand, Constraint Satisfaction Problems allow one to declaratively model problems. On the other hand, propositional satisfiability problem (SAT) solvers can handle huge SAT instances. We thus present a technique to declaratively model set constraint problems and to encode them automatically into SAT instances. We apply our technique to the Social Golfer Problem and we also use it to break symmetries of the problem. Our technique is simpler, more declarative, and less error-prone than direct and improved hand modeling. The SAT instances that we automatically generate contain less clauses than improved hand-written instances such as in [20], and with unit propagation they also contain less variables. Moreover, they are well-suited for SAT solvers and they are solved faster as shown when solving difficult instances of the Social Golfer Problem." @default.
- W4310942634 created "2022-12-21" @default.
- W4310942634 creator A5027575859 @default.
- W4310942634 creator A5041828713 @default.
- W4310942634 creator A5070532323 @default.
- W4310942634 creator A5089757639 @default.
- W4310942634 date "2014-06-27" @default.
- W4310942634 modified "2023-10-14" @default.
- W4310942634 title "Set Constraint Model and Automated Encoding into SAT: Application to the Social Golfer Problem" @default.
- W4310942634 doi "https://doi.org/10.48550/arxiv.1406.7196" @default.
- W4310942634 hasPublicationYear "2014" @default.
- W4310942634 type Work @default.
- W4310942634 citedByCount "0" @default.
- W4310942634 crossrefType "posted-content" @default.
- W4310942634 hasAuthorship W4310942634A5027575859 @default.
- W4310942634 hasAuthorship W4310942634A5041828713 @default.
- W4310942634 hasAuthorship W4310942634A5070532323 @default.
- W4310942634 hasAuthorship W4310942634A5089757639 @default.
- W4310942634 hasBestOaLocation W43109426341 @default.
- W4310942634 hasConcept C104317684 @default.
- W4310942634 hasConcept C11413529 @default.
- W4310942634 hasConcept C125411270 @default.
- W4310942634 hasConcept C126255220 @default.
- W4310942634 hasConcept C154945302 @default.
- W4310942634 hasConcept C168773769 @default.
- W4310942634 hasConcept C177264268 @default.
- W4310942634 hasConcept C185592680 @default.
- W4310942634 hasConcept C199360897 @default.
- W4310942634 hasConcept C199622910 @default.
- W4310942634 hasConcept C2524010 @default.
- W4310942634 hasConcept C2776036281 @default.
- W4310942634 hasConcept C33923547 @default.
- W4310942634 hasConcept C41008148 @default.
- W4310942634 hasConcept C44616089 @default.
- W4310942634 hasConcept C49937458 @default.
- W4310942634 hasConcept C55493867 @default.
- W4310942634 hasConcept C66746571 @default.
- W4310942634 hasConcept C6943359 @default.
- W4310942634 hasConcept C80444323 @default.
- W4310942634 hasConceptScore W4310942634C104317684 @default.
- W4310942634 hasConceptScore W4310942634C11413529 @default.
- W4310942634 hasConceptScore W4310942634C125411270 @default.
- W4310942634 hasConceptScore W4310942634C126255220 @default.
- W4310942634 hasConceptScore W4310942634C154945302 @default.
- W4310942634 hasConceptScore W4310942634C168773769 @default.
- W4310942634 hasConceptScore W4310942634C177264268 @default.
- W4310942634 hasConceptScore W4310942634C185592680 @default.
- W4310942634 hasConceptScore W4310942634C199360897 @default.
- W4310942634 hasConceptScore W4310942634C199622910 @default.
- W4310942634 hasConceptScore W4310942634C2524010 @default.
- W4310942634 hasConceptScore W4310942634C2776036281 @default.
- W4310942634 hasConceptScore W4310942634C33923547 @default.
- W4310942634 hasConceptScore W4310942634C41008148 @default.
- W4310942634 hasConceptScore W4310942634C44616089 @default.
- W4310942634 hasConceptScore W4310942634C49937458 @default.
- W4310942634 hasConceptScore W4310942634C55493867 @default.
- W4310942634 hasConceptScore W4310942634C66746571 @default.
- W4310942634 hasConceptScore W4310942634C6943359 @default.
- W4310942634 hasConceptScore W4310942634C80444323 @default.
- W4310942634 hasLocation W43109426341 @default.
- W4310942634 hasLocation W43109426342 @default.
- W4310942634 hasLocation W43109426343 @default.
- W4310942634 hasOpenAccess W4310942634 @default.
- W4310942634 hasPrimaryLocation W43109426341 @default.
- W4310942634 hasRelatedWork W1550482496 @default.
- W4310942634 hasRelatedWork W2012141606 @default.
- W4310942634 hasRelatedWork W2017695771 @default.
- W4310942634 hasRelatedWork W2091348864 @default.
- W4310942634 hasRelatedWork W2161128834 @default.
- W4310942634 hasRelatedWork W2252314269 @default.
- W4310942634 hasRelatedWork W2322595442 @default.
- W4310942634 hasRelatedWork W2569549435 @default.
- W4310942634 hasRelatedWork W2784687883 @default.
- W4310942634 hasRelatedWork W4243835908 @default.
- W4310942634 isParatext "false" @default.
- W4310942634 isRetracted "false" @default.
- W4310942634 workType "article" @default.