Satisfactibilitat booleana

Llistar Títols per Matèria "Satisfactibilitat booleana"

S'han trobat 3 ítems

Llistant ítems des de 0 a 3:

  1   
FormatDataTítolAutor
FormatDataTítolAutor
doc icon DUGiDocs 1 setembre 2019 Eina educativa de suport per l’estudi de resoledors SAT Cané Salamià, Marc
doc icon DUGiDocs 10 desembre 2015 Reformulation of constraint models into SMT Palahí i Sitges, Miquel
out url icon Recercat Reformulation of constraint models into SMT Palahí i Sitges, Miquel
  1   

Matèries

Autors