Lucile Dierckx

ICTEAM , UCLouvain , Belgium; TRAIL Institute , Belgium

1 paper in the IJCAI proceedings

IJCAI 2025

Learning from Logical Constraints with Lower- and Upper-Bound Arithmetic Circuits

with Alexandre Dubray, Siegfried Nijssen

doi:10.24963/ijcai.2025/558

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings