Matches in SemOpenAlex for { <https://semopenalex.org/work/W175158872> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W175158872 endingPage "234" @default.
- W175158872 startingPage "229" @default.
- W175158872 abstract "Checking CSP consistency is shown, in theory, to be an NP-complete problem. There is two families of methods for CSP consistency checking. The first family holds the complete methods which make an exhaustive search on the solution space. These methods have the advantage to prove CSP inconsistency, but their complexity grows exponentially when the problem size increases. The second family includes the incomplete methods that make a local search on the solution space. These methods have been efficiently used to find solutions for large size consistent CSPs that complete methods can not solve. One major drawback of the incomplete methods, is their inability to prove CSP inconsistency. One of the challenges that have been put forward by the CP community (Selman et al. 1997) is to provide incomplete methods that can deal with CSP inconsistency efficiently. The work that we present here, is a contribution towards an answer to this hard challenge. We introduce a new incomplete method for CSP inconsistency checking that is based on both a new notion of dominance between CSPs and a coloration of the CSP micro-structure. We experimented the method on randomly generated CSP instances and the results obtained are very promising." @default.
- W175158872 created "2016-06-24" @default.
- W175158872 creator A5014001741 @default.
- W175158872 creator A5064741707 @default.
- W175158872 date "2008-07-13" @default.
- W175158872 modified "2023-09-24" @default.
- W175158872 title "A new incomplete method for CSP inconsistency checking" @default.
- W175158872 cites W142570753 @default.
- W175158872 cites W1504850494 @default.
- W175158872 cites W1537371013 @default.
- W175158872 cites W1540003216 @default.
- W175158872 cites W1552098422 @default.
- W175158872 cites W1562502650 @default.
- W175158872 cites W1591939288 @default.
- W175158872 cites W1667614912 @default.
- W175158872 cites W2057361103 @default.
- W175158872 cites W2140556519 @default.
- W175158872 cites W2164279585 @default.
- W175158872 cites W2167036627 @default.
- W175158872 cites W30950413 @default.
- W175158872 hasPublicationYear "2008" @default.
- W175158872 type Work @default.
- W175158872 sameAs 175158872 @default.
- W175158872 citedByCount "4" @default.
- W175158872 countsByYear W1751588722020 @default.
- W175158872 crossrefType "proceedings-article" @default.
- W175158872 hasAuthorship W175158872A5014001741 @default.
- W175158872 hasAuthorship W175158872A5064741707 @default.
- W175158872 hasConcept C110251889 @default.
- W175158872 hasConcept C11413529 @default.
- W175158872 hasConcept C126255220 @default.
- W175158872 hasConcept C137105694 @default.
- W175158872 hasConcept C154945302 @default.
- W175158872 hasConcept C199622910 @default.
- W175158872 hasConcept C2776436953 @default.
- W175158872 hasConcept C33923547 @default.
- W175158872 hasConcept C41008148 @default.
- W175158872 hasConcept C49937458 @default.
- W175158872 hasConcept C80444323 @default.
- W175158872 hasConceptScore W175158872C110251889 @default.
- W175158872 hasConceptScore W175158872C11413529 @default.
- W175158872 hasConceptScore W175158872C126255220 @default.
- W175158872 hasConceptScore W175158872C137105694 @default.
- W175158872 hasConceptScore W175158872C154945302 @default.
- W175158872 hasConceptScore W175158872C199622910 @default.
- W175158872 hasConceptScore W175158872C2776436953 @default.
- W175158872 hasConceptScore W175158872C33923547 @default.
- W175158872 hasConceptScore W175158872C41008148 @default.
- W175158872 hasConceptScore W175158872C49937458 @default.
- W175158872 hasConceptScore W175158872C80444323 @default.
- W175158872 hasLocation W1751588721 @default.
- W175158872 hasOpenAccess W175158872 @default.
- W175158872 hasPrimaryLocation W1751588721 @default.
- W175158872 hasRelatedWork W1523795039 @default.
- W175158872 hasRelatedWork W1524973174 @default.
- W175158872 hasRelatedWork W153656224 @default.
- W175158872 hasRelatedWork W1574399473 @default.
- W175158872 hasRelatedWork W1588928324 @default.
- W175158872 hasRelatedWork W1589961485 @default.
- W175158872 hasRelatedWork W1749269483 @default.
- W175158872 hasRelatedWork W197567181 @default.
- W175158872 hasRelatedWork W1992874305 @default.
- W175158872 hasRelatedWork W2068886975 @default.
- W175158872 hasRelatedWork W2109015525 @default.
- W175158872 hasRelatedWork W2182006723 @default.
- W175158872 hasRelatedWork W2763560508 @default.
- W175158872 hasRelatedWork W2906160202 @default.
- W175158872 hasRelatedWork W2953712192 @default.
- W175158872 hasRelatedWork W3061362066 @default.
- W175158872 hasRelatedWork W36144688 @default.
- W175158872 hasRelatedWork W53948137 @default.
- W175158872 hasRelatedWork W856071238 @default.
- W175158872 hasRelatedWork W98912781 @default.
- W175158872 isParatext "false" @default.
- W175158872 isRetracted "false" @default.
- W175158872 magId "175158872" @default.
- W175158872 workType "article" @default.