5269 search results - page 55 / 1054 » order 2007 |
116
click to vote
MP
2007
14 years 11 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...
WSC
2007
15 years 2 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 ...
CADE
2007
Springer
16 years 4 days 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...
RSEISP
2007
Springer
15 years 6 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...
107
click to vote
EJC
2008
14 years 12 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...