A new tractable class of constraint sati
β
VΓctor Dalmau
π
Article
π
2005
π
Springer Netherlands
π
English
β 340 KB