Matches in SemOpenAlex for { <https://semopenalex.org/work/W2948584805> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W2948584805 abstract "Vehicles can have many different options and configurations. Not all combinations of these options are compatible. To check whether a vehicle has a set of options which is compatible, BetterBe has implemented a solver which checks these options and allows customers of lease companies to configure their vehicles. A downside of this solver is the performance and maintainability. Hence, we study here whether we can use constraint solving techniques to replace the solver of BetterBe. A suitable technique is the use of a MaxSAT solver. A MaxSAT solver is able to determine the satisfiability of the car configuration and calculate the lowest price. To use MaxSAT solving we have to encode the car configuration models of BetterBe into MaxSAT problems. In this thesis, we propose to use an incremental MaxSAT algorithm which can handle assumptions. This algorithm can solve the same MaxSAT problem with different assumptions without initialising a MaxSAT solver for every set of assumptions. Furthermore, we implement and compare several modifications.We find that the proposed algorithm solves the car configuration problems with a similar performance as the dedicated solver of BetterBe. The proposed modifications do not provide any reduction of the execution time." @default.
- W2948584805 created "2019-06-14" @default.
- W2948584805 creator A5007082644 @default.
- W2948584805 date "2019-01-01" @default.
- W2948584805 modified "2023-09-27" @default.
- W2948584805 title "Determining the Satisfiability of Car Configuration Models in a Repetitive Manner" @default.
- W2948584805 hasPublicationYear "2019" @default.
- W2948584805 type Work @default.
- W2948584805 sameAs 2948584805 @default.
- W2948584805 citedByCount "0" @default.
- W2948584805 crossrefType "dissertation" @default.
- W2948584805 hasAuthorship W2948584805A5007082644 @default.
- W2948584805 hasConcept C111797529 @default.
- W2948584805 hasConcept C11413529 @default.
- W2948584805 hasConcept C126255220 @default.
- W2948584805 hasConcept C168773769 @default.
- W2948584805 hasConcept C177264268 @default.
- W2948584805 hasConcept C187455244 @default.
- W2948584805 hasConcept C199360897 @default.
- W2948584805 hasConcept C2778770139 @default.
- W2948584805 hasConcept C33923547 @default.
- W2948584805 hasConcept C41008148 @default.
- W2948584805 hasConcept C6943359 @default.
- W2948584805 hasConceptScore W2948584805C111797529 @default.
- W2948584805 hasConceptScore W2948584805C11413529 @default.
- W2948584805 hasConceptScore W2948584805C126255220 @default.
- W2948584805 hasConceptScore W2948584805C168773769 @default.
- W2948584805 hasConceptScore W2948584805C177264268 @default.
- W2948584805 hasConceptScore W2948584805C187455244 @default.
- W2948584805 hasConceptScore W2948584805C199360897 @default.
- W2948584805 hasConceptScore W2948584805C2778770139 @default.
- W2948584805 hasConceptScore W2948584805C33923547 @default.
- W2948584805 hasConceptScore W2948584805C41008148 @default.
- W2948584805 hasConceptScore W2948584805C6943359 @default.
- W2948584805 hasLocation W29485848051 @default.
- W2948584805 hasOpenAccess W2948584805 @default.
- W2948584805 hasPrimaryLocation W29485848051 @default.
- W2948584805 hasRelatedWork W139322340 @default.
- W2948584805 hasRelatedWork W153407638 @default.
- W2948584805 hasRelatedWork W1556588790 @default.
- W2948584805 hasRelatedWork W1914938847 @default.
- W2948584805 hasRelatedWork W2029958553 @default.
- W2948584805 hasRelatedWork W2033429079 @default.
- W2948584805 hasRelatedWork W2084691356 @default.
- W2948584805 hasRelatedWork W2209258137 @default.
- W2948584805 hasRelatedWork W2269865230 @default.
- W2948584805 hasRelatedWork W2280245989 @default.
- W2948584805 hasRelatedWork W2288090202 @default.
- W2948584805 hasRelatedWork W2400843179 @default.
- W2948584805 hasRelatedWork W2746742238 @default.
- W2948584805 hasRelatedWork W2949805459 @default.
- W2948584805 hasRelatedWork W2955759369 @default.
- W2948584805 hasRelatedWork W3038094279 @default.
- W2948584805 hasRelatedWork W3181629460 @default.
- W2948584805 hasRelatedWork W3194018478 @default.
- W2948584805 hasRelatedWork W89830494 @default.
- W2948584805 hasRelatedWork W2186245208 @default.
- W2948584805 isParatext "false" @default.
- W2948584805 isRetracted "false" @default.
- W2948584805 magId "2948584805" @default.
- W2948584805 workType "dissertation" @default.