11949 search results - page 373 / 2390 » Some results on (a:b)-choosability |
107
click to vote
COCOON
2006
Springer
15 years 5 months ago
2006
Springer
We study the complexity of some computational problems on finite black-box rings whose elements are encoded as strings of a given length and the ring operations are performed by a ...
103
click to vote
FMCO
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. This paper provides an overview of an approach to coalgebraic modelling and refinement of state-based software components, summing up some basic results and introducing a...
110
Voted
CP
2006
Springer
15 years 5 months ago
2006
Springer
The problem of finding a graceful labelling of a graph, or proving that the graph is not graceful, has previously been modelled as a CSP. A new and much faster CSP model of the pro...
118
click to vote
CPAIOR
2006
Springer
15 years 5 months ago
2006
Springer
Tail Assignment is the problem of assigning flight legs to aircraft while satisfying all operational constraints, and optimizing some objective function. In this article, we presen...
103
click to vote
DIAGRAMS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Euler diagrams are an effective and intuitive way of representing relationships between sets. As the number of sets represented grows, Euler diagrams can become `cluttere...