7092 search results - page 129 / 1419 » Parallelizing constraint programs |
EUROPAR
1997
Springer
14 years 2 months ago
1997
Springer
PARLE
1993
14 years 2 months ago
1993
PLDI
2009
ACM
14 years 11 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...
ENDM
2010
13 years 10 months 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, ...
CORR
2007
Springer
13 years 10 months 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...