Popular repositories Loading

1. Theory-Prover Theory-Prover Public

   Dimostratore di teoremi per la logica del primo ordine senza simboli interpretati per risoluzione ordinata basato su ciclo della clausola data à la Otter e à la E per il corso di Ragionamento Autom…

   Java 1

2. hosts-for-lg-smart-tv hosts-for-lg-smart-tv Public

   Block ads on LG Smart TV

   1

3. AspRubyAnalyzer AspRubyAnalyzer Public

   OCaml

4. BeliefPropagation BeliefPropagation Public

   Algoritmo di belief propagation in versione sequenziale (C++) e in versione parallela (CUDA) per i corsi di Intelligenza Artificiale (Prof. Alessandro Farinelli) e Architetture Avanzate (Prof. Nico…

   C++

5. SAT-Solver-for-Theory-of-Lists SAT-Solver-for-Theory-of-Lists Public

   Procedura di soddisfacibilità per la Teoria delle Liste per il corso di Verifica Automatica di Programmi

   Java

6. GiocoDel15 GiocoDel15 Public

   C#