15. SAT 2012: Trento, Italy

Invited Talks

Full Papers