2976 search results - page 72 / 596 » On the bounded integer programming |
101
Voted
FMCAD
2006
Springer
15 years 4 months ago
2006
Springer
The last few years have seen the advent of a new breed of decision procedures for various fragments of first-order logic based on ional abstraction. A lazy satisfiability checker ...
PLDI
2000
ACM
15 years 4 months ago
2000
ACM
99
Voted
PLDI
2000
ACM
15 years 4 months ago
2000
ACM
ICALP
1997
Springer
15 years 4 months ago
1997
Springer
AAAI
1998
15 years 1 months ago
1998
Production planning is an important task in manufacturing systems. We consider a real-world capacitated lot-sizing problem (CLSP) from the process industry. Because the problem re...