Published December 19, 2023
| Version v1
Publication
Open
(supplementary files) SAT-Based Tree Decomposition with Iterative Cascading Policy Selection
Description
These are the supplementary files of the paper "SAT-Based Tree Decomposition with Iterative Cascading Policy Selection", which is accepted by AAAI 2024.
Files
supplementary_material.zip
Files
(558.4 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:12bfc5c0791f9df88289aaa0eabf3e29
|
558.4 kB | Preview Download |
Additional details
Funding
- European Commission
- LogiCS_at_TUWien – Logics for Computer Science Program at TU Wien 101034440
- FWF Austrian Science Fund
- Alternating Symmetry-Breaking Combinatorial Search with SAT P 36688
- FWF Austrian Science Fund
- Structure Identification with SAT (STRIDES) P 36420
- Vienna Science and Technology Fund
- Revealing and Utilizing the Hidden Structure for Solving Hard Problems in AI ICT19-065