SAT-Based Tree Decomposition with Iterative Cascading Policy Selection

Xia, Hai; Szeider, Stefan

doi:10.1609/AAAI.V38I8.28659

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},
}