Sciweavers

16404 search results - page 777 / 3281
» A set coverage problem
Sort
View
IPL
2008
111views more  IPL 2008»
15 years 7 months ago
Adding cardinality constraints to integer programs with applications to maximum satisfiability
Max-SAT-CC is the following optimization problem: Given a formula in CNF and a bound k, find an assignment with at most k variables being set to true that maximizes the number of ...
Markus Bläser, Thomas Heynen, Bodo Manthey
ORL
2008
60views more  ORL 2008»
15 years 7 months ago
Lot-sizing on a tree
For the problem of lot-sizing on a tree with constant capacities, or stochastic lot-sizing with a scenario tree, we present various reformulations based on mixing sets. We also sh...
Marco Di Summa, Laurence A. Wolsey
DAM
2000
86views more  DAM 2000»
15 years 7 months ago
A supertree method for rooted trees
Abstract. The amalgamation of leaf-labelled (phylogenetic) trees on overlapping leaf sets into one (super)tree is a central problem in several areas of classification, particularly...
Charles Semple, Mike A. Steel
SIAMCOMP
2000
85views more  SIAMCOMP 2000»
15 years 7 months ago
Binary Space Partitions for Fat Rectangles
We consider the practical problem of constructing binary space partitions (BSPs) for a set S of n orthogonal, nonintersecting, two-dimensional rectangles in R3 such that the aspect...
Pankaj K. Agarwal, Edward F. Grove, T. M. Murali, ...
160
Voted
NGC
2002
Springer
15 years 7 months ago
DNA Sequence Design Using Templates
Sequence design is a crucial problem in information-based biotechnology such as DNA-based computation. We introduce a simple strategy named template method that systematically gene...
Masanori Arita, Satoshi Kobayashi