Llistar TÃtols
No s'ha trobat cap Ãtem
No s'ha trobat cap Ãtem

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

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