Login / Signup

LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work.

Giuseppe De GiacomoMarco FavoritoJianwen LiMoshe Y. VardiShengping XiaoShufang Zhu
Published in: IJCAI (2022)
Keyphrases
  • knowledge compilation
  • product configuration
  • search algorithm
  • database
  • prime implicates
  • database systems
  • relational databases
  • search space
  • decision making
  • normal form
  • search strategies