6456 search results - page 87 / 1292 » Constraint Solving on Terms |
168
click to vote
CONSTRAINTS
2006
15 years 6 months ago
2006
Abstract. The Still-Life problem is challenging for CP techniques because the basic constraints of the game of Life are loose and give poor propagation for Still-Life. In this pape...
158
click to vote
ECAI
2000
Springer
15 years 10 months ago
2000
Springer
Many complex real-world decision problems, such as planning, contain an underlying constraint reasoning problem. The feasibility of a solution candidate then depends on the consis...
147
click to vote
SC
1993
ACM
15 years 10 months ago
1993
ACM
This paper documents the use of a massively parallel computer, specifically the Connection Machine CM-5, to solve the Boltzmann equation to model one-dimensional shock wave struct...
158
click to vote
HICSS
2008
IEEE
16 years 17 days ago
2008
IEEE
Anti-money laundering is a pressing issue in today’s economy. With the newly launched Chinese anti-money laundering regulation, this issue has drawn more and more attention from...
149
click to vote
AISC
2004
Springer
15 years 11 months ago
2004
Springer
Term equations involving individual and sequence variables and sequence function symbols are studied. Function symbols can have either fixed or flexible arity. A sequence variabl...