People
Research
Courses
Updates
Jobs
Contact
Internal
Light
Dark
Automatic
Alexis De Colnet
Recent Publications
Compilation and Fast Model Counting beyond CNF
2024
Hardness of Random Reordered Encodings of Parity for Resolution and CDCL
2024
Cite
×