Katalin Fazekas

Recent Publications

IPASIR-UP: User Propagators for CDCL

2023