7092 search results - page 129 / 1419 » Parallelizing constraint programs |
EUROPAR
1997
Springer
15 years 4 months ago
1997
Springer
PARLE
1993
15 years 4 months ago
1993
210
Voted
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
Reasoning about string variables, in particular program inputs, is an important aspect of many program analyses and testing frameworks. Program inputs invariably arrive as strings...
104
Voted
ENDM
2010
15 years 15 days ago
2010
We propose a 0/1 integer programming model to tackle the office space allocation (OSA) problem which refers to assigning room space to a set of entities (people, machines, roles, ...
77
Voted
CORR
2007
Springer
15 years 12 days ago
2007
Springer
—Detectability of failures of linear programming (LP) decoding and the potential for improvement by adding new constraints motivate the use of an adaptive approach in selecting t...