|
First we see how to express the rules of Sudoku in Haskell. Given a total function s :: Int -> Int -> Int -> Bool that represents the way a sudoku puzzle is filled in by saying that s i j k…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
This video shows how blocks of zeros, which correspond to disjund=ctions of literals, lead us to conjunctive normal form (CNF) which we met earlier as the output of our reduction procedure. CNF is in…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
Lecture 10 - Branch and Bound Optimisation
Course Code
CHEEE1005 - CHEDSE4 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
Week 6 'Reference', Welcome video
Course Code
LASC10067 Publisher
Bill Farquharson Licence Type
Creative Commons - Attribution Date Created
July 20th, 2020
|
|
Partial Order Planning
Licence Type
All rights reserved The University of Edinburgh
|
|
Advanced Topics Not Covered
Licence Type
Creative Commons - Attribution
|
|
Optimising the Margin 1
Licence Type
Creative Commons - Attribution
|
|
Multiclass Classification
Licence Type
Creative Commons - Attribution
|