Sciweavers

7092 search results - page 74 / 1419
» Parallelizing constraint programs
Sort
View
SAS
2001
Springer
149views Formal Methods» more  SAS 2001»
14 years 1 months ago
Analysis of Multithreaded Programs
Abstract. The field of program analysis has focused primarily on sequential programming languages. But multithreading is becoming increasingly important, both as a program structu...
Martin C. Rinard
CP
2001
Springer
14 years 1 months ago
Collaborative Learning for Constraint Solving
Abstract. Although constraint programming offers a wealth of strong, generalpurpose methods, in practice a complex, real application demands a person who selects, combines, and ref...
Susan L. Epstein, Eugene C. Freuder
ICLP
1997
Springer
14 years 1 months ago
Solving Small TSPs with Constraints
This paper presents a set of techniques that makes constraint programming a technique of choice for solving small (up to 30 nodes) traveling salesman problems. These techniques in...
Yves Caseau, François Laburthe
PPDP
2005
Springer
14 years 2 months ago
Timed constraint programming: a declarative approach to usage control
Radha Jagadeesan, Will Marrero, Corin Pitcher, Vij...