Search for tag: "constraints"

CL - 8c - Sudoku

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…

From  Haoran Peng on November 1st, 2020 0 likes 329 plays 0  

CL - 6f - CNF I

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…

From  Haoran Peng on October 24th, 2020 0 likes 448 plays 0  

Lecture 10 - Branch and Bound Optimisation

Lecture 10 - Branch and Bound Optimisation

From  Mennatallah Mohamed Awny Ali Labib on September 29th, 2020 0 likes 69 plays 0  

Introduction

Week 6 'Reference', Welcome video

From  William Farquharson on July 20th, 2020 0 likes 10 plays 0  

17b

Partial Order Planning

From  Alexandra Lascarides on July 1st, 2020 0 likes 3 plays 0  

Advanced Topics Not Covered

Advanced Topics Not Covered

From  Nigel Goddard on September 18th, 2016 1 likes 1,488 plays 0  

Optimising the Margin 1

Optimising the Margin 1

From  Nigel Goddard on September 8th, 2016 2 likes 2,363 plays 0  

Multiclass Classification

Multiclass Classification

From  Nigel Goddard on September 8th, 2016 0 likes 2,363 plays 0