Search for tag: "sat"

8.b

The second video of the Inf2D Reasoning and Agents lecture on Effective Propositional Inference.

From  Claudia-Elena Chirita on January 25th, 2021 0 likes 189 plays 0  

CL - 9b - Sudoku III

Sudoku is just a game, but it a good, accessible example of a type of problem that of great practical significance. Here we discuss the Sudoku problem within this wider context.

From  Haoran Peng on November 4th, 2020 0 likes 245 plays 0