Lectures related to Puzzle | EPFL Graph Search

Explores optimization techniques in SAT solvers and their application in Sudoku solving.

Explores the process of designing video games to create meaningful player experiences, covering game genres, iterative design, and creating game concept documents.

Thermalization and Information Loss

Explores thermalization, ETH testing in spin chains, information loss in black holes, and challenges in quantum gravity.

Applications of Propositional Logic

Explores translating natural language to propositional logic, Boolean search, logic puzzles, circuits, and Sudoku.

Propositional Logic: Applications and Translations

Explores applications of propositional logic, including translations and Boolean search for document queries.

Propositional Logic: Normal Forms and Applications

Explores Disjunctive Normal Form and Conjunctive Normal Form in propositional logic, their applications, and complexity, with practical examples.

Untitled