Constraint satisfaction techniques in pl
β
Roman BartΓ‘k; Miguel A. Salido; Francesca Rossi
π
Article
π
2008
π
Springer US
π
English
β 236 KB