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