1614 search results - page 48 / 323 » Planning as Temporal Reasoning |
136
click to vote
CP
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In this paper, we investigate how an IA network can be effectively encoded into the SAT domain. We propose two basic approaches to modelling an IA network as a CSP: one r...
