2976 search results - page 303 / 596 » On the bounded integer programming |
177
click to vote
FPL
2005
Springer
16 years 4 days ago
2005
Springer
This paper presents a design and optimization technique for the Multiple Restricted Multiplication problem [1]. This refers to a situation where a single variable is multiplied by...
137
click to vote
ICCS
2005
Springer
16 years 4 days ago
2005
Springer
Although there exist many phasing methods for unrelated adults or pedigrees, phasing and missing data recovery for data representing family trios is lagging behind. This paper is a...
171
click to vote
SAT
2005
Springer
16 years 3 days ago
2005
Springer
The utilization of cutting planes is a key technique in Integer Linear Programming (ILP). However, cutting planes have seldom been applied in Pseudo-Boolean Optimization (PBO) algo...
167
Voted
WABI
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. In this paper, we use integer programming approach for solving a hard combinatorial optimization problem, namely protein threading. For this sequence-to-structure alignme...
164
click to vote
ASPDAC
2004
ACM
16 years 1 days ago
2004
ACM
Many important tasks in circuit design and verification can be performed in practice via reductions to Boolean Satisfiability (SAT), making SAT a fundamental EDA problem. However ...