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