Login / Signup
Hai Xia
ORCID
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Answer Sets
Probabilistic Reasoning
Logic Programs
Constraint Satisfaction
Top Venues
AAAI
</>
Publications
</>
Hai Xia
,
Stefan Szeider
SAT-Based Tree Decomposition with Iterative Cascading Policy Selection.
AAAI
(2024)