DUGi: Llistar Títols | (dc.creator:"Cané Salamià, Marc" OR dc.contributor:"Cané Salamià, Marc" OR dc.contributor.other:"Cané Salamià, Marc") | 0 -

Llistar Títols

No s'ha trobat cap ítem

Matèries

Clause learning Problema de satisfactibilitat booleana Problem solving SAT Universitat de Girona Solució de problemes Backjumping

Autors

Coll, Jordi Villaret Auselle, Mateu Cané Salamià, Marc Universitat de Girona. Escola Politècnica Superior