2861 search results - page 351 / 573 » Constraint Programming |
192
click to vote
DAC
2009
ACM
15 years 10 months ago
2009
ACM
Power grid verification in modern integrated circuits is an integral part of early system design where adjustments can be most easily incorporated. In this work, we describe an ea...
140
click to vote
ENGL
2007
15 years 6 months ago
2007
— Research on Just-in-Time (JIT), Total Quality Management (TQM), Total Productive Maintenance (TPM), Supply Chain Management (SCM), and Theory of Constraints (TOC) generally inv...
131
click to vote
KI
2002
Springer
15 years 6 months ago
2002
Springer
We present an extension of state-based planning from traditional Strips to function application, allowing to express operator effects as updates. As proposed in PDDL, fluent variab...
179
click to vote
TIT
2011
15 years 1 months ago
2011
—Maximization of the weighted sum-rate of secondary users (SUs) possibly equipped with multiantenna transmitters and receivers is considered in the context of cognitive radio (CR...
168
click to vote
CONSTRAINTS
2011
15 years 1 months ago
2011
The Steel Mill Slab Problem is an optimization benchmark that has been studied for a long time in the constraint-programming community but was only solved efficiently in the two l...