3146 search results - page 9 / 630 » Efficient Consequence Finding |
IMR
2004
Springer
14 years 28 days ago
2004
Springer
GLVLSI
1999
IEEE
13 years 12 months ago
1999
IEEE
CIKM
1998
Springer
13 years 11 months ago
1998
Springer
LATIN
2000
Springer
13 years 11 months ago
2000
Springer
AIPS
2008
13 years 10 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...