Programaci贸 amb restriccions

Listing items with Subject "Programaci贸 amb restriccions"

4 items found

Showing titles from 0 to 4:

  1   
FormatDateTitleAuthor
FormatDateTitleAuthor
doc icon DUGiDocs 2015 December 10 Reformulation of constraint models into SMT Palah铆 i Sitges, Miquel
out url icon Recercat Reformulation of constraint models into SMT Palah铆 i Sitges, Miquel
doc icon DUGiDocs 2012 December 20 A satisfiability modulo theories approach to constraint programming Suy Franch, Josep
out url icon Recercat A satisfiability modulo theories approach to constraint programming Suy Franch, Josep
  1   

Subjects

Authors