Authors Search About

Carbonnelle, Pierre

1 publications

AAAI 2024 Using Symmetries to Lift Satisfiability Checking Pierre Carbonnelle, Gottfried Schenner, Maurice Bruynooghe, Bart Bogaerts, Marc Denecker

ML Anthology — Open source under Apache 2.0. GitHub. Privacy Policy