Dubray, Alexandre

1 publications

IJCAI 2025 Learning from Logical Constraints with Lower- and Upper-Bound Arithmetic Circuits Lucile Dierckx, Alexandre Dubray, Siegfried Nijssen