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

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

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