André Schidler

4 papers in the IJCAI proceedings

IJCAI 2023

Computing Twin-width with SAT and Branch & Bound

with Stefan Szeider

doi:10.24963/ijcai.2023/224

Details PDF

IJCAI 2021

Backdoor DNFs

with Sebastian Ordyniak, Stefan Szeider

doi:10.24963/ijcai.2021/194

Details PDF

Computing Optimal Hypertree Decompositions with SAT

with Stefan Szeider

doi:10.24963/ijcai.2021/196

Details PDF

IJCAI 2020

Threshold Treewidth and Hypertree Width

with Robert Ganian, Manuel Sorge, Stefan Szeider

doi:10.24963/ijcai.2020/263

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings