Sciweavers

7092 search results - page 74 / 1419
» Parallelizing constraint programs
Sort
View
SAS
2001
Springer
149views Formal Methods» more  SAS 2001»
15 years 8 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
140
Voted
CP
2001
Springer
15 years 9 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
15 years 8 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
15 years 10 months ago
Timed constraint programming: a declarative approach to usage control
Radha Jagadeesan, Will Marrero, Corin Pitcher, Vij...