Romain Wallon

2 papers in the IJCAI proceedings

IJCAI 2020

On Irrelevant Literals in Pseudo-Boolean Constraint Learning

with Daniel Le Berre, Pierre Marquis, Stefan Mengel

doi:10.24963/ijcai.2020/160

Details PDF

IJCAI 2018

Pseudo-Boolean Constraints from a Knowledge Representation Perspective

with Daniel Le Berre, Pierre Marquis, Stefan Mengel

doi:10.24963/ijcai.2018/261

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings