Stefan Mengel

3 papers in the IJCAI proceedings

IJCAI 2020

Lower Bounds for Approximate Knowledge Compilation

with Alexis de Colnet

doi:10.24963/ijcai.2020/254

Details PDF

On Irrelevant Literals in Pseudo-Boolean Constraint Learning

with Daniel Le Berre, Pierre Marquis, Romain Wallon

doi:10.24963/ijcai.2020/160

Details PDF

IJCAI 2018

Pseudo-Boolean Constraints from a Knowledge Representation Perspective

with Daniel Le Berre, Pierre Marquis, Romain Wallon

doi:10.24963/ijcai.2018/261

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings