16091 search results - page 142 / 3219 » Solving |
92
Voted
CASC
2007
Springer
15 years 8 months ago
2007
Springer
CP
2007
Springer
15 years 8 months ago
2007
Springer
Salinity is the relative concentration of salts in water. In a city of southern China, the local water supply company pumps water from a nearby river for potable use. During the wi...
88
Voted
CP
2007
Springer
15 years 8 months ago
2007
Springer
85
Voted
ECTEL
2007
Springer
15 years 8 months ago
2007
Springer
118
Voted
FROCOS
2007
Springer
15 years 8 months ago
2007
Springer
We introduce a propositional encoding of the recursive path order with status (RPO). RPO is a combination of a multiset path order and a lexicographic path order which considers pe...