Upload date
All time
Last hour
Today
This week
This month
This year
Type
All
Video
Channel
Playlist
Movie
Duration
Short (< 4 minutes)
Medium (4-20 minutes)
Long (> 20 minutes)
Sort by
Relevance
Rating
View count
Features
HD
Subtitles/CC
Creative Commons
3D
Live
4K
360°
VR180
HDR
704,249 results
We present a live coding system that bridges constraint logic programming with data-centric reactivity. Relations are treated as ...
5,216 views
8 years ago
In this lecture, Professor Demaine describes constraint logic. License: Creative Commons BY-NC-SA More information at ...
2,239 views
As a programmer, computer scientist, computer engineer etc. there are many problems for which an algorithm can easily be ...
14,500 views
3 years ago
Constraint logic programming is a paradigm that allows solving hard combinatorial problems with minimal programming effort.
10,050 views
Constraint solving with Picat.
703 views
4 years ago
There are deep connections between logic, optimization, and constraint programming (CP) that underlie some of the most ...
1,806 views
Streamed 1 year ago
In this video, we'll explore how to define database-level constraints using Django. We'll see how we can apply constraints to our ...
2,368 views
4 months ago
Bar-Ilan University 83-313: Digital Integrated Circuits This is Lecture 7 of the Digital Integrated Circuits (VLSI) course at Bar-Ilan ...
7,914 views
This is a video made for my Programming Languages and Compilers course, which was moved online due to the Corona virus ...
914 views
A detailed explanation on formulating the constraints in Integer Programming that have the logical relations of either-or and if-then ...
23,645 views
This is our video for the conference Logic in Computer Science (LICS 2020), with Wied Pakusa and Jakub Rydval.
479 views
This training is part 4 of 4. Closing timing can be one of the most difficult and time-consuming aspects of FPGA design. The Timing ...
20,984 views
While we've covered the fundamentals of how software can be taken apart and reverse engineered, no reverse engineer's tool ...
10,614 views
Streamed 3 years ago
This video introduces the basics of the Picat language, including the data types, operators, and built-ins.
1,077 views
Recursion on numbers.
429 views
Enjoyed this content & want to support my channel? You can get the spreadsheet I build in the video or buy me a coffee!
28,104 views
We will show how Semiring have been introduced in the CSP and argumentation formalism. How such algebraic structure can ...
142 views
Streamed 7 months ago
Main algorithms to solve discrete constraint satisfaction problems. Chapter 5 of Artificial Intelligence, a modern approach by ...
190,673 views
Recursion on lists and trees.
444 views
Invited Presentation by Torsten Schaub (University of Postdam) at CP 2013 (http://cp2013.a4cp.org) held September 16-20, 2013 ...
5,270 views
10 years ago