Matches in SemOpenAlex for { <https://semopenalex.org/work/W4294536900> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W4294536900 abstract "Constraint Programming (CP) solvers typically tackle optimization problems by repeatedly finding solutions to a problem while placing tighter and tighter bounds on the solution cost. This approach is somewhat naive, especially for soft-constraint optimization problems in which the soft constraints are mostly satisfied. Unsatisfiable-core approaches to solving soft constraint problems in Boolean Satisfiability (e.g. MAXSAT) force all soft constraints to hold initially. When solving fails they return an unsatisfiable core, as a set of soft constraints that cannot hold simultaneously. Using this information the problem is relaxed to allow certain soft constraint(s) to be violated and solving continues. Since Lazy Clause Generation (LCG) solvers can also return unsatisfiable cores we can adapt the MAXSAT unsatisfiable core approach to CP. We implement the original MAXSAT unsatisfiable core solving algorithms WPM1, MSU3 in a state-of-the-art LCG solver and show that there exist problems which benefit from this hybrid approach." @default.
- W4294536900 created "2022-09-03" @default.
- W4294536900 creator A5028341652 @default.
- W4294536900 creator A5060406733 @default.
- W4294536900 creator A5064839018 @default.
- W4294536900 date "2013-05-07" @default.
- W4294536900 modified "2023-09-26" @default.
- W4294536900 title "Unsatisfiable Cores for Constraint Programming" @default.
- W4294536900 doi "https://doi.org/10.48550/arxiv.1305.1690" @default.
- W4294536900 hasPublicationYear "2013" @default.
- W4294536900 type Work @default.
- W4294536900 citedByCount "0" @default.
- W4294536900 crossrefType "posted-content" @default.
- W4294536900 hasAuthorship W4294536900A5028341652 @default.
- W4294536900 hasAuthorship W4294536900A5060406733 @default.
- W4294536900 hasAuthorship W4294536900A5064839018 @default.
- W4294536900 hasBestOaLocation W42945369001 @default.
- W4294536900 hasConcept C111797529 @default.
- W4294536900 hasConcept C11413529 @default.
- W4294536900 hasConcept C126255220 @default.
- W4294536900 hasConcept C137631369 @default.
- W4294536900 hasConcept C154945302 @default.
- W4294536900 hasConcept C168773769 @default.
- W4294536900 hasConcept C173404611 @default.
- W4294536900 hasConcept C177264268 @default.
- W4294536900 hasConcept C187455244 @default.
- W4294536900 hasConcept C199360897 @default.
- W4294536900 hasConcept C199622910 @default.
- W4294536900 hasConcept C2164484 @default.
- W4294536900 hasConcept C2524010 @default.
- W4294536900 hasConcept C2776036281 @default.
- W4294536900 hasConcept C2778770139 @default.
- W4294536900 hasConcept C33923547 @default.
- W4294536900 hasConcept C41008148 @default.
- W4294536900 hasConcept C44616089 @default.
- W4294536900 hasConcept C49937458 @default.
- W4294536900 hasConcept C6943359 @default.
- W4294536900 hasConcept C76155785 @default.
- W4294536900 hasConcept C80444323 @default.
- W4294536900 hasConceptScore W4294536900C111797529 @default.
- W4294536900 hasConceptScore W4294536900C11413529 @default.
- W4294536900 hasConceptScore W4294536900C126255220 @default.
- W4294536900 hasConceptScore W4294536900C137631369 @default.
- W4294536900 hasConceptScore W4294536900C154945302 @default.
- W4294536900 hasConceptScore W4294536900C168773769 @default.
- W4294536900 hasConceptScore W4294536900C173404611 @default.
- W4294536900 hasConceptScore W4294536900C177264268 @default.
- W4294536900 hasConceptScore W4294536900C187455244 @default.
- W4294536900 hasConceptScore W4294536900C199360897 @default.
- W4294536900 hasConceptScore W4294536900C199622910 @default.
- W4294536900 hasConceptScore W4294536900C2164484 @default.
- W4294536900 hasConceptScore W4294536900C2524010 @default.
- W4294536900 hasConceptScore W4294536900C2776036281 @default.
- W4294536900 hasConceptScore W4294536900C2778770139 @default.
- W4294536900 hasConceptScore W4294536900C33923547 @default.
- W4294536900 hasConceptScore W4294536900C41008148 @default.
- W4294536900 hasConceptScore W4294536900C44616089 @default.
- W4294536900 hasConceptScore W4294536900C49937458 @default.
- W4294536900 hasConceptScore W4294536900C6943359 @default.
- W4294536900 hasConceptScore W4294536900C76155785 @default.
- W4294536900 hasConceptScore W4294536900C80444323 @default.
- W4294536900 hasLocation W42945369001 @default.
- W4294536900 hasLocation W42945369002 @default.
- W4294536900 hasOpenAccess W4294536900 @default.
- W4294536900 hasPrimaryLocation W42945369001 @default.
- W4294536900 hasRelatedWork W128226163 @default.
- W4294536900 hasRelatedWork W1490304119 @default.
- W4294536900 hasRelatedWork W1693115739 @default.
- W4294536900 hasRelatedWork W1978356133 @default.
- W4294536900 hasRelatedWork W2066265366 @default.
- W4294536900 hasRelatedWork W2144035465 @default.
- W4294536900 hasRelatedWork W2472934748 @default.
- W4294536900 hasRelatedWork W2579221958 @default.
- W4294536900 hasRelatedWork W3134249384 @default.
- W4294536900 hasRelatedWork W3121378488 @default.
- W4294536900 isParatext "false" @default.
- W4294536900 isRetracted "false" @default.
- W4294536900 workType "article" @default.