Listing items with Subject "Clause learning"
One item found:
| Format | Date | Title | Author |
|---|---|---|---|
| Format | Date | Title | Author |
|
2019 September 1 | Eina educativa de suport per l’estudi de resoledors SAT | Cané Salamià , Marc |
Subjects 
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
Universitat de Girona Problema de satisfactibilitat booleana SAT Backjumping Problem solving Clause learning Solució de problemes
Authors
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
Universitat de Girona. Escola Politècnica Superior Villaret Auselle, Mateu Coll, Jordi Cané Salamià , Marc