Llistar TÃtols per Matèria "Clause learning"
S'ha trobat un Ãtem:
| Format | Data | TÃtol | Autor |
|---|---|---|---|
| Format | Data | TÃtol | Autor |
|
1 setembre 2019 | Eina educativa de suport per l’estudi de resoledors SAT | Cané Salamià , Marc |
DUGi
Portal de cerca conjunta als documents digitals de la UdG
Matèries 
Warning: error_log(/dades/dugi/log//dugi.log) [function.error-log]: failed to open stream: Read-only file system in /dades/dugi/lib/log/log.php on line 32
Problem solving SAT Backjumping Universitat de Girona Problema de satisfactibilitat booleana Solució de problemes Clause learning
Autors
Warning: error_log(/dades/dugi/log//dugi.log) [function.error-log]: failed to open stream: Read-only file system in /dades/dugi/lib/log/log.php on line 32
Cané Salamià , Marc Villaret Auselle, Mateu Universitat de Girona. Escola Politècnica Superior Coll, Jordi