BORRALLERAS Cristina について
Univ. de Vic, Vic, ESP について
LUCAS Salvador について
Univ. Politecnica de Valencia, Valencia, ESP について
OLIVERAS Albert について
Univ. Politecnica de Catalunya, Barcelona, ESP について
RODRIGUEZ-CARBONELL Enric について
Univ. Politecnica de Catalunya, Barcelona, ESP について
RUBIO Albert について
Univ. Politecnica de Catalunya, Barcelona, ESP について
Journal of Automated Reasoning について
多項式 について
制約 について
SAT について
線形 について
算術 について