FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W89124752> ?p ?o ?g. }

• W89124752 abstract "Constraint systems, problems defined by sets of variables and constraints affecting the allowed assignments to those variables, arise in a wide range of real-world problems, from planning and scheduling to digital logic circuit verification. These problems have been studied widely in computer science and operations research, and a great deal of research has gone into developing algorithms that solve them quickly, producing assignments to variables that satisfy all of a system's constraints. Many constraint systems turn out to have no satisfying assignments—they are said to be overconstrained or infeasible—and work on analyzing these instances is much less mature. It is in this area that this work lies. Most work on analyzing infeasibility has focused on producing singular, approximate, partial views of the infeasibility of a given problem; a distinguishing feature of this work is that it is focused on complete analyses. We have developed algorithms that compute the full structure of a problem's infeasibility in the form of minimal correction sets (MCSes) and minimal unsatisfiable subsets (MUSes), both of which are subsets of a system's constraints that irreducibly describe part of its infeasibility. The value of these complete analyses has been demonstrated by applications of this work to two different logic circuit verification tasks, in which the complete views these algorithms produce have been shown to be critical for performance. Spurred partially by the needs of the industrial applications and also by theoretical considerations regarding the innate intractability of the given problems, extensions of these algorithms have been developed in several directions, enhancing performance by integrating partial, approximate analyses as guides, solving related problems that avoid the intractability while still providing more information than the singular views offered by other work, and generally exploring the space of infeasibility analysis in novel ways. Overall, this work helps to expand the field of constraint system research with new tools for analyzing infeasibility. This research, which has been kept as broadly-applicable as possible, serves as a base, opening up complete infeasibility analysis to researchers across the field of constraint research." @default.
• W89124752 created "2016-06-24" @default.
• W89124752 creator A5009613676 @default.
• W89124752 creator A5077314055 @default.
• W89124752 date "2009-01-01" @default.
• W89124752 modified "2023-09-23" @default.
• W89124752 title "Analyzing infeasible constraint systems" @default.
• W89124752 cites W1485366229 @default.
• W89124752 cites W1505051593 @default.
• W89124752 cites W1510595267 @default.
• W89124752 cites W1510851971 @default.
• W89124752 cites W1518705996 @default.
• W89124752 cites W1531103278 @default.
• W89124752 cites W1551815176 @default.
• W89124752 cites W1556687538 @default.
• W89124752 cites W1559357575 @default.
• W89124752 cites W1564907238 @default.
• W89124752 cites W1567384271 @default.
• W89124752 cites W1592502301 @default.
• W89124752 cites W1592629506 @default.
• W89124752 cites W1593151295 @default.
• W89124752 cites W1593691693 @default.
• W89124752 cites W1603162376 @default.
• W89124752 cites W1630321466 @default.
• W89124752 cites W1787074469 @default.
• W89124752 cites W1957114827 @default.
• W89124752 cites W1966998067 @default.
• W89124752 cites W1968221738 @default.
• W89124752 cites W1970251068 @default.
• W89124752 cites W1972004026 @default.
• W89124752 cites W2006162484 @default.
• W89124752 cites W2020169768 @default.
• W89124752 cites W2027876313 @default.
• W89124752 cites W2057361103 @default.
• W89124752 cites W2058449564 @default.
• W89124752 cites W2060440626 @default.
• W89124752 cites W2100609826 @default.
• W89124752 cites W2113730096 @default.
• W89124752 cites W2126450261 @default.
• W89124752 cites W2144386448 @default.
• W89124752 cites W2146606205 @default.
• W89124752 cites W2156525231 @default.
• W89124752 cites W2156557985 @default.
• W89124752 cites W2158505527 @default.
• W89124752 cites W2159503942 @default.
• W89124752 cites W2160089068 @default.
• W89124752 cites W2204670317 @default.
• W89124752 cites W2569549435 @default.
• W89124752 cites W1542386705 @default.
• W89124752 hasPublicationYear "2009" @default.
• W89124752 type Work @default.
• W89124752 sameAs 89124752 @default.
• W89124752 citedByCount "1" @default.
• W89124752 countsByYear W891247522013 @default.
• W89124752 crossrefType "dissertation" @default.
• W89124752 hasAuthorship W89124752A5009613676 @default.
• W89124752 hasAuthorship W89124752A5077314055 @default.
• W89124752 hasConcept C11413529 @default.
• W89124752 hasConcept C126255220 @default.
• W89124752 hasConcept C138885662 @default.
• W89124752 hasConcept C154945302 @default.
• W89124752 hasConcept C176783269 @default.
• W89124752 hasConcept C206729178 @default.
• W89124752 hasConcept C2524010 @default.
• W89124752 hasConcept C2776036281 @default.
• W89124752 hasConcept C2776401178 @default.
• W89124752 hasConcept C33923547 @default.
• W89124752 hasConcept C41008148 @default.
• W89124752 hasConcept C41895202 @default.
• W89124752 hasConcept C44616089 @default.
• W89124752 hasConcept C49937458 @default.
• W89124752 hasConcept C80444323 @default.
• W89124752 hasConceptScore W89124752C11413529 @default.
• W89124752 hasConceptScore W89124752C126255220 @default.
• W89124752 hasConceptScore W89124752C138885662 @default.
• W89124752 hasConceptScore W89124752C154945302 @default.
• W89124752 hasConceptScore W89124752C176783269 @default.
• W89124752 hasConceptScore W89124752C206729178 @default.
• W89124752 hasConceptScore W89124752C2524010 @default.
• W89124752 hasConceptScore W89124752C2776036281 @default.
• W89124752 hasConceptScore W89124752C2776401178 @default.
• W89124752 hasConceptScore W89124752C33923547 @default.
• W89124752 hasConceptScore W89124752C41008148 @default.
• W89124752 hasConceptScore W89124752C41895202 @default.
• W89124752 hasConceptScore W89124752C44616089 @default.
• W89124752 hasConceptScore W89124752C49937458 @default.
• W89124752 hasConceptScore W89124752C80444323 @default.
• W89124752 hasLocation W891247521 @default.
• W89124752 hasOpenAccess W89124752 @default.
• W89124752 hasPrimaryLocation W891247521 @default.
• W89124752 hasRelatedWork W1512663066 @default.
• W89124752 hasRelatedWork W1516376175 @default.
• W89124752 hasRelatedWork W1516905216 @default.
• W89124752 hasRelatedWork W1536698819 @default.
• W89124752 hasRelatedWork W1564783277 @default.
• W89124752 hasRelatedWork W1740773753 @default.
• W89124752 hasRelatedWork W1836105002 @default.
• W89124752 hasRelatedWork W1839939441 @default.
• W89124752 hasRelatedWork W205264562 @default.
• W89124752 hasRelatedWork W2109992583 @default.

• next