3146 search results - page 9 / 630 » Efficient Consequence Finding |
IMR
2004
Springer
15 years 2 months ago
2004
Springer
GLVLSI
1999
IEEE
15 years 1 months ago
1999
IEEE
CIKM
1998
Springer
15 years 1 months ago
1998
Springer
LATIN
2000
Springer
15 years 1 months ago
2000
Springer
AIPS
2008
14 years 11 months ago
2008
We present a faster method of solving optimal planning problems and show that our solution performs up to an order of magnitude faster than Satplan on a variety of problems from t...