13841 search results - page 97 / 2769 » Algorithms and Constraint Programming |
92
Voted
CPAIOR
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. In scheduling using constraint programming we usually reason only about possible start times and end times of activities and remove those which are recognized as unfeasib...
119
click to vote
POPL
2011
ACM
14 years 3 months ago
2011
ACM
There have been several efforts to bring static type inference to object-oriented dynamic languages such as Ruby, Python, and Perl. In our experience, however, such type inference...
104
Voted
QSIC
2007
IEEE
15 years 6 months ago
2007
IEEE
Wireless sensor network (WSN) applications sense events in-situ and compute results in-network. Their software components should run on platforms with stringent constraints on nod...
ECAI
2010
Springer
15 years 1 months ago
2010
Springer
We present a new method for instance-specific algorithm configuration (ISAC). It is based on the integration of the algorithm configuration system GGA and the recently proposed sto...
103
click to vote
SAT
2005
Springer
15 years 6 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...