Poprzednia strona
Rekrutacja 2022/23
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions
G. Audemard, P. Bertoli, A. Cimatti, A. Korniłowicz, R. Sebastiani
() 195-210
DOI: 10.1007/3-540-45620-1_17
