6456 search results - page 352 / 1292 » Constraint Solving on Terms |
155
Voted
CSCLP
2005
Springer
16 years 9 days ago
2005
Springer
We discuss four variants of the graph colouring problem, and present algorithms for solving them. The problems are k-Colourability, Max Ind k-COL, Max Val k-COL, and, finally, Max...
155
click to vote
ASPDAC
2004
ACM
16 years 6 days ago
2004
ACM
- This paper presents a solution to the problem of designing interconnects for memory devices. More precisely, it solves the automatic routing problem of memory peripheral circuits...
149
click to vote
ATAL
2004
Springer
16 years 5 days ago
2004
Springer
Negotiation events in industrial procurement involving multiple, highly customisable goods pose serious challenges to buying agents when trying to determine the best set of provid...
184
click to vote
ICLP
2004
Springer
16 years 4 days ago
2004
Springer
A novel style of multi-agent system specification and deployment is described, in which familiar methods from computational logic are re-interpreted to a new context. One view of ...
172
click to vote
DATE
2003
IEEE
16 years 1 days ago
2003
IEEE
We present a high-level synthesis algorithm solving the combined scheduling, allocation and binding problem minimizing area under both latency and maximum power per clock-cycle co...