Llistar TÃtols
No s'ha trobat cap Ãtem
No s'ha trobat cap Ãtem
Problema de satisfactibilitat booleana Universitat de Girona Solució de problemes Problem solving Backjumping Clause learning SAT
Universitat de Girona. Escola Politècnica Superior Villaret Auselle, Mateu Cané Salamià , Marc Coll, Jordi