Showing results 1 to 1 of 1
A decomposition-based approach to checking the satisfiability of temporal database query in temporal planning Ho-Jin Choi; Barry Richards, JOURNAL OF ELECTRICAL ENGINEERING AND INFORMATION SCIENCE, v.4, no.3, pp.275 - 285, 1999-01 |
Discover