Satisfiability modulo theories

Listing items with Subject "Satisfiability modulo theories"

2 items found

Showing titles from 0 to 2:

  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
  1   

Subjects

Authors