Matches in SemOpenAlex for { <https://semopenalex.org/work/W4386727323> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W4386727323 endingPage "35" @default.
- W4386727323 startingPage "1" @default.
- W4386727323 abstract "Dominance breaking is a powerful technique in improving the solving efficiency of Constraint Optimization Problems (COPs) by removing provably suboptimal solutions with additional constraints. While dominance breaking is effective in a range of practical problems, it is usually problem specific and requires human insights into problem structures to come up with correct dominance breaking constraints. Recently, a framework is proposed to generate nogood constraints automatically for dominance breaking, which formulates nogood generation as solving auxiliary Constraint Satisfaction Problems (CSPs). However, the framework uses a pattern matching approach to synthesize the auxiliary generation CSPs from the specific forms of objectives and constraints in target COPs, and is only applicable to a limited class of COPs. This paper proposes a novel rewriting system to derive constraints for the auxiliary generation CSPs automatically from COPs with nested function calls, significantly generalizing the original framework. In particular, the rewriting system exploits functional constraints flattened from nested functions in a high-level modeling language. To generate more effective dominance breaking nogoods and derive more relaxed constraints in generation CSPs, we further characterize how to extend the system with rewriting rules exploiting function properties, such as monotonicity, commutativity, and associativity, for specific functional constraints. Experimentation shows significant runtime speedup using the dominance breaking nogoods generated by our proposed method. Studying patterns of generated nogoods also demonstrates that our proposal can reveal dominance relations in the literature and discover new dominance relations on problems with ineffective or no known dominance breaking constraints." @default.
- W4386727323 created "2023-09-15" @default.
- W4386727323 creator A5025730618 @default.
- W4386727323 creator A5088346842 @default.
- W4386727323 date "2023-09-13" @default.
- W4386727323 modified "2023-09-26" @default.
- W4386727323 title "Exploiting Functional Constraints in Automatic Dominance Breaking for Constraint Optimization" @default.
- W4386727323 doi "https://doi.org/10.1613/jair.1.14714" @default.
- W4386727323 hasPublicationYear "2023" @default.
- W4386727323 type Work @default.
- W4386727323 citedByCount "0" @default.
- W4386727323 crossrefType "journal-article" @default.
- W4386727323 hasAuthorship W4386727323A5025730618 @default.
- W4386727323 hasAuthorship W4386727323A5088346842 @default.
- W4386727323 hasBestOaLocation W43867273231 @default.
- W4386727323 hasConcept C126255220 @default.
- W4386727323 hasConcept C138101251 @default.
- W4386727323 hasConcept C154690210 @default.
- W4386727323 hasConcept C154945302 @default.
- W4386727323 hasConcept C159423971 @default.
- W4386727323 hasConcept C165696696 @default.
- W4386727323 hasConcept C199360897 @default.
- W4386727323 hasConcept C202444582 @default.
- W4386727323 hasConcept C2524010 @default.
- W4386727323 hasConcept C2776036281 @default.
- W4386727323 hasConcept C33923547 @default.
- W4386727323 hasConcept C38652104 @default.
- W4386727323 hasConcept C41008148 @default.
- W4386727323 hasConcept C44616089 @default.
- W4386727323 hasConcept C49937458 @default.
- W4386727323 hasConcept C80444323 @default.
- W4386727323 hasConceptScore W4386727323C126255220 @default.
- W4386727323 hasConceptScore W4386727323C138101251 @default.
- W4386727323 hasConceptScore W4386727323C154690210 @default.
- W4386727323 hasConceptScore W4386727323C154945302 @default.
- W4386727323 hasConceptScore W4386727323C159423971 @default.
- W4386727323 hasConceptScore W4386727323C165696696 @default.
- W4386727323 hasConceptScore W4386727323C199360897 @default.
- W4386727323 hasConceptScore W4386727323C202444582 @default.
- W4386727323 hasConceptScore W4386727323C2524010 @default.
- W4386727323 hasConceptScore W4386727323C2776036281 @default.
- W4386727323 hasConceptScore W4386727323C33923547 @default.
- W4386727323 hasConceptScore W4386727323C38652104 @default.
- W4386727323 hasConceptScore W4386727323C41008148 @default.
- W4386727323 hasConceptScore W4386727323C44616089 @default.
- W4386727323 hasConceptScore W4386727323C49937458 @default.
- W4386727323 hasConceptScore W4386727323C80444323 @default.
- W4386727323 hasLocation W43867273231 @default.
- W4386727323 hasOpenAccess W4386727323 @default.
- W4386727323 hasPrimaryLocation W43867273231 @default.
- W4386727323 hasRelatedWork W1512435900 @default.
- W4386727323 hasRelatedWork W1531694433 @default.
- W4386727323 hasRelatedWork W1602072618 @default.
- W4386727323 hasRelatedWork W1606338408 @default.
- W4386727323 hasRelatedWork W2365854838 @default.
- W4386727323 hasRelatedWork W2560278908 @default.
- W4386727323 hasRelatedWork W2965214198 @default.
- W4386727323 hasRelatedWork W3159159631 @default.
- W4386727323 hasRelatedWork W3164687984 @default.
- W4386727323 hasRelatedWork W2583119596 @default.
- W4386727323 hasVolume "78" @default.
- W4386727323 isParatext "false" @default.
- W4386727323 isRetracted "false" @default.
- W4386727323 workType "article" @default.