5269 search results - page 55 / 1054 » order 2007 |
169
click to vote
MP
2007
15 years 4 months ago
2007
The selection of the branching variable can greatly affect the speed of the branch and bound solution of a mixed-integer or integer linear program. Traditional approaches to branc...
119
Voted
WSC
2007
15 years 7 months ago
2007
In this paper we study a decentralized distribution supply chain with one supplier and many newsvendor-type retailers that face exogenous end-customer demands. Using total supply ...
122
click to vote
CADE
2007
Springer
16 years 5 months ago
2007
Springer
We present a method for proving rigid first order theorems by encoding them as propositional satisfiability problems. We encode the existence of a first order connection tableau an...
152
click to vote
RSEISP
2007
Springer
15 years 11 months ago
2007
Springer
The main objective of this paper is to provide a granular computing based interpretation of rules representing two levels of knowledge. This is done by adopting and adapting the de...
159
click to vote
EJC
2008
15 years 5 months ago
2008
The motivation for this paper is three-fold. First, we study the connectivity properties of the homomorphism order of directed graphs, and more generally for relational structures...