5269 search results - page 55 / 1054 » order 2007 |
153
Voted
MP
2007
15 years 3 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...
103
Voted
WSC
2007
15 years 6 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 ...
111
Voted
CADE
2007
Springer
16 years 3 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...
133
click to vote
RSEISP
2007
Springer
15 years 9 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...
142
Voted
EJC
2008
15 years 3 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...