7092 search results - page 706 / 1419 » Parallelizing constraint programs |
165
click to vote
SIAMAM
2010
15 years 5 months ago
2010
We present a mathematical framework for the so-called multidisciplinary free material optimization (MDFMO) problems, a branch of structural optimization in which the full material ...
198
click to vote
FUIN
2010
15 years 4 months ago
2010
This paper explores the use of Constraint Logic Programming (CLP) as a platform for experimenting with planning problems in the presence of multiple interacting agents. The paper ...
204
click to vote
CADE
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. Methods exploiting problem symmetries have been very successful in several areas including constraint programming and SAT solving. We here recast a technique to enhance t...
278
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
It is becoming increasingly important for applications to protect sensitive data. With current techniques, the programmer bears the burden of ensuring that the application’s beh...
177
click to vote
CONCUR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. A prominent source of complexity in the verification of ad hoc network (AHN) protocols is the fact that the number of network topologies grows exponentially with the squ...