6456 search results - page 40 / 1292 » Constraint Solving on Terms |
79
Voted
ASPDAC
2006
ACM
15 years 6 months ago
2006
ACM
System-on-chip and system-in-package result in increased number of I/O cells and complicated constraints for both chip designs and package designs. This renders the traditional ma...
87
Voted
CP
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Cost-based filtering is a novel approach that combines techniques from Operations Research and Constraint Programming to filter from decision variable domains values that...
81
Voted
JCP
2008
15 years 21 days ago
2008
To build a cooperative logistics network covering multiple enterprises, a planning method that can build a long-distance transportation network is required. Many strict constraints...
118
click to vote
ECAI
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. Scheduling meetings is generally difficult in that it attempts to satisfy the preferences of all participants. However, all participants can agree to a schedule in which...
141
Voted
CORR
2010
Springer
15 years 25 days ago
2010
Springer
We propose a method for inferring parameterized regular types for logic programs as solutions for systems of constraints over sets of finite ground Herbrand terms (set constraint s...