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