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
964,356 results
We present a live coding system that bridges constraint logic programming with data-centric reactivity. Relations are treated as ...
5,219 views
8 years ago
This video shows how to formulate relational/logical constraints using binary or 0-1 integer variables: ~~~~~~~~~~~ **Mutually ...
139,230 views
7 years ago
As a programmer, computer scientist, computer engineer etc. there are many problems for which an algorithm can easily be ...
14,528 views
3 years ago
In this tutorial, let us learn about Hard Constraints vs Soft Constraints In Primavera P6 In Primavera, there are 2 types of ...
5,326 views
Constraint logic programming is a paradigm that allows solving hard combinatorial problems with minimal programming effort.
10,052 views
This is one of my final projects for my CS 372 class at the University of Arizona. We were tasked to do a video about a topic in a ...
3,355 views
6 years ago
Constraint solving with Picat.
704 views
4 years ago
In this lecture, Professor Demaine describes constraint logic. License: Creative Commons BY-NC-SA More information at ...
2,240 views
There are deep connections between logic, optimization, and constraint programming (CP) that underlie some of the most ...
1,809 views
Streamed 1 year ago
This is a video made for my Programming Languages and Compilers course, which was moved online due to the Corona virus ...
915 views
Cryptarithmetic problem in Artificial Intelligence LOGIC + LOGIC = PROLOG solution | Pratiksha Jain This video explains how to ...
50,755 views
2 years ago
This video introduces the basics of the Picat language, including the data types, operators, and built-ins.
1,077 views
Using integer constraints, we obtain a short, versatile and efficient Prolog solution of this combinatorial task.
13,976 views
5 years ago
This is our video for the conference Logic in Computer Science (LICS 2020), with Wied Pakusa and Jakub Rydval.
479 views
Bar-Ilan University 83-313: Digital Integrated Circuits This is Lecture 7 of the Digital Integrated Circuits (VLSI) course at Bar-Ilan ...
7,929 views
This video tutorial will help you systematically approach and quickly solve LeetCode easy, medium, and hard problems. Ideal for ...
22,456 views
1 year ago
ILP@IJCLR 2021 Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Marco Alberti and Evelina Lamma: Probabilistic Inductive ...
35 views
While we've covered the fundamentals of how software can be taken apart and reverse engineered, no reverse engineer's tool ...
10,620 views
Streamed 3 years ago
Recursion on numbers.
429 views
Bar-Ilan University 83-612: Digital VLSI Design This is Lecture 5 of the Digital VLSI Design course at Bar-Ilan University.
4,741 views