Satisfiability modulo theories

Llistar Títols per Matèria "Satisfiability modulo theories"

S'han trobat 4 ítems

Llistant ítems des de 0 a 4:

  1   
FormatDataTítolAutor
FormatDataTítolAutor
doc icon DUGiDocs 20 desembre 2012 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 15 juliol 2019 Scheduling through logic-based tools Coll Caballero, Jordi
doc icon DUGiDocs 15 novembre 2018 SMT techniques for planning problems Espasa Arxer, Joan
  1   

Matèries

Autors