Skip to content

- Media Upload
- YouTube

Media Hopper Create - The University of Edinburgh Media Platform

Home
How to use Media Hopper Create
- How To Use Media Hopper Create
- How To Use Media Hopper Create In Learn
Creative Commons
All Channels

Home
How to use Media Hopper Create
- How To Use Media Hopper Create
- How To Use Media Hopper Create In Learn
Creative Commons
All Channels

CL - 9c - DPLL II

From Haoran Peng

views comments

Related Media

Details

Back

We return to the example introduced in the previous video, and begin to represent the problem in Haskell.

Tags

the university of edinburgh

Help & Support
Terms & Conditions
Privacy & Cookies
Retention Policy
Report Inappropriate Media Content

Website accessibility
Freedom of information publication scheme
Modern slavery

The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336, VAT Registration Number GB 592 9507 00, and is acknowledged by the UK authorities as a “Recognised body” which has been granted degree awarding powers.

Any views expressed within media held on this service are those of the contributors, should not be taken as approved or endorsed by the University, and do not necessarily reflect the views of the University in respect of any particular issue.

Unless explicitly stated otherwise, all material is copyright © The University of Edinburgh 2021 and may only be used in accordance with the terms of the licence.