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
6,327 results
Constraint logic programming is a paradigm that allows solving hard combinatorial problems with minimal programming effort.
10,052 views
8 years ago
This video lays the foundations to algorithmic framework introducing assignments, solutions, nogoods, and unit propagation.
488 views
3 years ago
Pymoo is an open source python framework with state-of-the-art optimisation and post performance analysis capabilities.
4,102 views
9 months ago
This is a quick tour through the optimization statements in ASP for computing optimal solutions.
1,004 views
This video elaborates upon the meaning of integrity constraints by a (quite simple) translation into a normal rules.
984 views
Testing is fundamental in software development. Testing business logic and rules should also be fundamental. OptaPlanner has ...
466 views
2 years ago
Fundamental constraints to the logic of living systems Prof. Ricard Solé, Universitat Pompeu Fabra and Santa Fe Institute Abstract: ...
154 views
3 weeks ago
Episode 0090 of Will's Guide to Programming Languages, Programming, Computation, and What-Have-You. Will's Big Bad Boring ...
134 views
2 months ago
Abstract: I'd like to talk about a new relational programming language I've just started working on, attempting to combine the pure ...
162 views
3 months ago
... prefer you can express the constraints as a local as a logical formula here's an example the first part encodes the row constraint ...
986 views
https://togotv.dbcls.jp/20190218.html #togotv#DBCLS#bioinformatics #togotv#DBCLS#bioinformatics.
368 views
5 years ago
Lecture 17, Thursday 5 July 2018, part of the FoPSS Logic and Learning School at FLoC 2018 - see http://fopss18.mimuw.edu.pl/ ...
6,785 views
Invited seminar at the University of Cambridge – 29/04/2022 http://talks.cam.ac.uk/talk/index/173735 00:00 Introduction 04:09 ...
76 views
RubyConf 2016 - Problem Solved! Using Logic Programming to Find Answers by Gavin McGimpsey We love Ruby's object ...
2,167 views
7 years ago
SMT Solvers in the IT Security - deobfuscating binary code with logic by Thaís Moreira Hamasaki Malware is sneaky. Malicious ...
1,063 views
6 years ago
An overview over the main language constructs provided by ASP systems (This version fixes an issue of the previous video.)
2,193 views
Jonathan K. Millen, SRI International Constraint Solving for Protocol Analysis August 5, 2004 at the Naval Postgraduate School ...
220 views
11 years ago
I've been working on a logic programming framework in Haskell, called guanxi (關係) with an eye towards scalability. To build it I ...
2,067 views
4 years ago
This talk will describe how we can enable the businesses to manage software engineering efforts at scale in a financially sound ...
1,332 views
1 year ago
... w satisfy the constraint. C to help you understand the definition let's translate the definition into a predicate logic formula pause ...
1,625 views