7092 search results - page 105 / 1419 » Parallelizing constraint programs |
145
click to vote
IFIP
2001
Springer
15 years 5 months ago
2001
Springer
— Semi-formal verification based on symbolic simulation offers a good compromise between formal model checking and numerical simulation. The generation of functional test vector...
113
Voted
ENTCS
2007
15 years 13 days ago
2007
The timed concurrent constraint programming language (tccp in short) was introduced for modeling reactive systems. This language allows one to model in a very intuitive way typica...
110
Voted
AIR
2004
15 years 11 days ago
2004
Ensuring truthfulness amongst self-interested agents bidding against one another in an auction can be computationally expensive when prices are determined using the Vickrey-Clarke-...
116
click to vote
CPAIOR
2010
Springer
14 years 11 months ago
2010
Springer
Many search problems contain large amounts of redundancy in the search. In this paper we examine how to automatically exploit remaining subproblem equivalence, which arises when tw...
83
Voted
PPCP
1993
15 years 4 months ago
1993
