AI-Planning/macq

SAM (KR'21)

haz opened this issue · 0 comments

haz commented

Notes

  • Seems to be a mix of set-based and CNF-based approaches

References