Poprzednia strona
Rekrutacja 2022/23
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms, and Requirements
G. Audemard, P. Bertoli, A. Cimatti, A. Korniłowicz, R. Sebastiani
() 231-245
