Silvia Tomasi

Optimization Modulo Theories with Linear Rational Costs.
. University of Trento, Italy, (2014)base-search.net (ftutrentophd:oai:eprints-phd.biblio.unitn.it:1197).
  •  Doctoral advisor:
  •  First reviewer:
  •  Reviewer:
  •  Advisor:
  •  Author: Silvia Tomasi
  •  Editor:
  •  Other:
more

No resources found