2976 search results - page 303 / 596 » On the bounded integer programming |
140
click to vote
FPL
2005
Springer
15 years 10 months 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...
108
click to vote
ICCS
2005
Springer
15 years 10 months 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...
137
Voted
SAT
2005
Springer
15 years 10 months 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...
134
click to vote
WABI
2005
Springer
15 years 10 months 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...
126
click to vote
ASPDAC
2004
ACM
15 years 10 months 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 ...