The Best Paper award of FM'23

The Best Paper award for the best paper of FM'23, for the paper Word Equations in Synergy with Regular Constraints (F. Blahoudek, Y. Chen, D. Chocholatý, V. Havlena, L. Holík, O. Lengál, J. Síč).

Detail
Back to top