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

Macroarea STEM

Home Calendar Unipd Educational Offer Timetables Uniweb Webmail My Media

Section outline

- Select activity Decision procedure for propositional logic
  
  Decision procedure for propositional logic File
- Select activity Decision procedures for propositional logic (lecture notes and exercises)
  
  Decision procedures for propositional logic (lecture notes and exercises) File
- Select activity 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
- Select activity Mine Sweeper (code) Thanks to Leonardo Amato and Lorenzo Corrado
  
  Mine Sweeper (code) Thanks to Leonardo Amato and Lorenzo Corrado File