Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
mfunk_
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
4 ms
·
1.
▲
by
mfunk_
3y ago
I think in classic planning like STRIPS, the size of the state space is bounded exponentially in the size of the input (conditions can be either true or false). This is not the case of vector reachability. I'm not familiar with picat,