Jiangtao Xu

1 papers · 2016–2016 · 1 conference · across top CS/AI conferences

Conferences

IJCAI (1)

Top co-authors

Jianmin Ji (1) Kewen Wang (1) Zhe Wang (1) Hai Wan (1) Chuhan Zhang (1)

Papers

Eliminating Disjunctions in Answer Set Programming by Restricted Unfolding IJCAI 2016