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
1,021,670 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
This video shows how to formulate relational/logical constraints using binary or 0-1 integer variables: ~~~~~~~~~~~ **Mutually ...
139,194 views
7 years ago
As a programmer, computer scientist, computer engineer etc. there are many problems for which an algorithm can easily be ...
14,501 views
3 years ago
In this lecture, Professor Demaine describes constraint logic. License: Creative Commons BY-NC-SA More information at ...
2,239 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,350 views
6 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
In this tutorial, let us learn about Hard Constraints vs Soft Constraints In Primavera P6 In Primavera, there are 2 types of ...
5,309 views
There are deep connections between logic, optimization, and constraint programming (CP) that underlie some of the most ...
1,806 views
Streamed 1 year ago
Bar-Ilan University 83-313: Digital Integrated Circuits This is Lecture 7 of the Digital Integrated Circuits (VLSI) course at Bar-Ilan ...
7,912 views
A detailed explanation on formulating the constraints in Integer Programming that have the logical relations of either-or and if-then ...
23,646 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
Using integer constraints, we obtain a short, versatile and efficient Prolog solution of this combinatorial task.
13,971 views
5 years ago
Enjoyed this content & want to support my channel? You can get the spreadsheet I build in the video or buy me a coffee!
28,107 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
Flying Logic's creator Wolf McNally introduces himself and explains how Flying Logic came about, and its roots as a tool to ...
2,677 views
This is a video made for my Programming Languages and Compilers course, which was moved online due to the Corona virus ...
914 views
This is our video for the conference Logic in Computer Science (LICS 2020), with Wied Pakusa and Jakub Rydval.
479 views
ILP@IJCLR 2021 Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Marco Alberti and Evelina Lamma: Probabilistic Inductive ...
35 views
2 years ago
1,800 views
0
3,300 views
23,000 views
2,600 views
2,300 views
Problem Statement: https://en.wikipedia.org/wiki/Eight_queens_puzzle Starter Code: https://gitlab.com/aiatiu/NQueens.
6,626 views