by Hai Xia, Stefan Szeider
Reference:
SAT-Based Tree Decomposition with Iterative Cascading Policy SelectionHai Xia, Stefan SzeiderAAAI'24, the Thirty-Eighth AAAI Conference on Artificial Intelligence, February 20-27, Vancouver, Canada (Jennifer Dy, Sriraam Natarajan, eds.), pages 8191–8199, 2024, AAAI Press.
Bibtex Entry:
@InProceedings{XiaSzeider24,
author = {Hai Xia and Stefan Szeider},
title = {{SAT}-Based Tree Decomposition with Iterative
Cascading Policy Selection},
booktitle = {AAAI'24, the Thirty-Eighth AAAI Conference on
Artificial Intelligence, February 20-27, Vancouver,
Canada},
year = {2024},
editor = {Jennifer Dy and Sriraam Natarajan},
publisher = {AAAI Press},
pages = {8191--8199},
publisher = {{AAAI} Press},
year = {2024},
url = {https://doi.org/10.1609/aaai.v38i8.28659},
doi = {10.1609/AAAI.V38I8.28659},
keywords = {reveal, strides, asksat},
}