275 search results - page 15 / 55 » Colored Nonograms: An Integer Linear Programming Approach |
EUSFLAT
2003
15 years 4 months ago
2003
We revise the classic methodology to find the multi-product break-even point. In the current paper we propose a solution to the problem under uncertainty conditions, based on DurÃ...
119
Voted
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
—We propose a new methodology based on Mixed Integer Linear Programming (MILP) for determining the input values that will exercise a speciï¬ed execution path in a program. In or...
225
click to vote
LPAR
2010
Springer
15 years 1 months ago
2010
Springer
Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for expensive quantifier elimination. In this paper, we foc...
141
Voted
ACL
2009
15 years 1 months ago
2009
In this paper, we investigate an approach for creating a comprehensive textual overview of a subject composed of information drawn from the Internet. We use the high-level structu...
194
click to vote
PLDI
1998
ACM
15 years 7 months ago
1998
ACM
A linear-scan algorithm directs the global allocation of register candidates to registers based on a simple linear sweep over the program being compiled. This approach to register...