Matches in SemOpenAlex for { <https://semopenalex.org/work/W4285602364> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W4285602364 abstract "Writing correct models for combinatorial problems is relatively straightforward; however, they must be efficient to be usable with instances producing many solution candidates. In this work, we aim to automatically generalise the discarding of symmetric solutions of Answer Set Programming instances, improving the efficiency of the programs with first-order constraints derived from propositional symmetry-breaking constraints." @default.
- W4285602364 created "2022-07-16" @default.
- W4285602364 creator A5000720206 @default.
- W4285602364 date "2022-07-01" @default.
- W4285602364 modified "2023-10-18" @default.
- W4285602364 title "A Model-Oriented Approach for Lifting Symmetry-Breaking Constraints in Answer Set Programming" @default.
- W4285602364 doi "https://doi.org/10.24963/ijcai.2022/836" @default.
- W4285602364 hasPublicationYear "2022" @default.
- W4285602364 type Work @default.
- W4285602364 citedByCount "0" @default.
- W4285602364 crossrefType "proceedings-article" @default.
- W4285602364 hasAuthorship W4285602364A5000720206 @default.
- W4285602364 hasBestOaLocation W42856023641 @default.
- W4285602364 hasConcept C121332964 @default.
- W4285602364 hasConcept C126255220 @default.
- W4285602364 hasConcept C136119220 @default.
- W4285602364 hasConcept C136764020 @default.
- W4285602364 hasConcept C177264268 @default.
- W4285602364 hasConcept C182620335 @default.
- W4285602364 hasConcept C199360897 @default.
- W4285602364 hasConcept C202444582 @default.
- W4285602364 hasConcept C204795200 @default.
- W4285602364 hasConcept C2524010 @default.
- W4285602364 hasConcept C2779886137 @default.
- W4285602364 hasConcept C2780615836 @default.
- W4285602364 hasConcept C33923547 @default.
- W4285602364 hasConcept C41008148 @default.
- W4285602364 hasConcept C62520636 @default.
- W4285602364 hasConcept C80444323 @default.
- W4285602364 hasConceptScore W4285602364C121332964 @default.
- W4285602364 hasConceptScore W4285602364C126255220 @default.
- W4285602364 hasConceptScore W4285602364C136119220 @default.
- W4285602364 hasConceptScore W4285602364C136764020 @default.
- W4285602364 hasConceptScore W4285602364C177264268 @default.
- W4285602364 hasConceptScore W4285602364C182620335 @default.
- W4285602364 hasConceptScore W4285602364C199360897 @default.
- W4285602364 hasConceptScore W4285602364C202444582 @default.
- W4285602364 hasConceptScore W4285602364C204795200 @default.
- W4285602364 hasConceptScore W4285602364C2524010 @default.
- W4285602364 hasConceptScore W4285602364C2779886137 @default.
- W4285602364 hasConceptScore W4285602364C2780615836 @default.
- W4285602364 hasConceptScore W4285602364C33923547 @default.
- W4285602364 hasConceptScore W4285602364C41008148 @default.
- W4285602364 hasConceptScore W4285602364C62520636 @default.
- W4285602364 hasConceptScore W4285602364C80444323 @default.
- W4285602364 hasLocation W42856023641 @default.
- W4285602364 hasOpenAccess W4285602364 @default.
- W4285602364 hasPrimaryLocation W42856023641 @default.
- W4285602364 hasRelatedWork W11923277 @default.
- W4285602364 hasRelatedWork W1429918704 @default.
- W4285602364 hasRelatedWork W1556401754 @default.
- W4285602364 hasRelatedWork W1594988803 @default.
- W4285602364 hasRelatedWork W1976248635 @default.
- W4285602364 hasRelatedWork W2061127899 @default.
- W4285602364 hasRelatedWork W2107523885 @default.
- W4285602364 hasRelatedWork W2171836055 @default.
- W4285602364 hasRelatedWork W2174399230 @default.
- W4285602364 hasRelatedWork W2898772359 @default.
- W4285602364 isParatext "false" @default.
- W4285602364 isRetracted "false" @default.
- W4285602364 workType "article" @default.