Samuel Thomas

2 papers in the IJCAI proceedings

IJCAI 2015

Compiling Constraint Networks into Multivalued Decomposable Decision Graphs

with Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis

Details PDF

IJCAI 2013

Knowledge Compilation for Model Counting: Affine Decision Trees

with Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings