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

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

Autors

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