SAT-Based Tree Decomposition with Iterative Cascading Policy Selection

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Hai Xia, Stefan Szeider

Journal title: Proceedings of the AAAI Conference on Artificial Intelligence

Journal number: 38

Journal publisher: AAAI

Published year: 2024

Published pages: 8191-8199

DOI identifier: 10.1609/aaai.v38i8.28659

ISSN: 2374-3468