Artikel in einem Konferenzbericht,

Solving Generalized Optimization Problems Subject to SMT Constraints.

, , und .
FAW-AAIM, Volume 7285 von Lecture Notes in Computer Science, Seite 247-258. Springer, (2012)

Metadaten

Tags

Nutzer

  • @dblp

Kommentare und Rezensionen