6 search results - page 2 / 2 » Partial Weighted MaxSAT for Optimal Planning |
PRICAI
2004
Springer
13 years 10 months ago
2004
Springer
Temporal reasoning is an important task in many areas of computer science including planning, scheduling, temporal databases and instruction optimisation for compilers. Given a kno...