conftrace_

max sat

1 paper

Explore in graph

Also known as

MAX SAT

Co-occurring keywords · papers mentioning both

fond planning (1) abstract action (1) planning domain (1) generalized planning (1) automated planning (1) feature learning (1)

Papers

Learning Features and Abstract Actions for Computing Generalized Plans AAAI 2019