SCP7079318 - KNOWLEDGE AND DATA MINING 2022-2023, Sezione: DECISION PROCEDURES FOR PROPOSITIONAL LOGIC | STEM

Macroarea STEM

Home Calendario Unipd Portale Didattica Orari Uniweb Webmail My Media

Schema della sezione

- Seleziona attività Decision procedure for propositional logic
  
  Decision procedure for propositional logic File
- Seleziona attività Decision procedures for propositional logic (lecture notes and exercises)
  
  Decision procedures for propositional logic (lecture notes and exercises) File
- Seleziona attività Mine Sweeper via SAT (slides) - Thanks to Leonardo Amato and Lorenzo Corrado
  
  Mine Sweeper via SAT (slides) - Thanks to Leonardo Amato and Lorenzo Corrado File
- Seleziona attività Mine Sweeper (code) Thanks to Leonardo Amato and Lorenzo Corrado
  
  Mine Sweeper (code) Thanks to Leonardo Amato and Lorenzo Corrado File