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