Satisfactibilitat mòdul teories

Listing items with Subject "Satisfactibilitat mòdul teories"

3 items found

Showing titles from 0 to 3:

  1   
FormatDateTitleAuthor
FormatDateTitleAuthor
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
doc icon DUGiDocs 2019 July 15 Scheduling through logic-based tools Coll Caballero, Jordi
  1   

Subjects

Authors