Beyond Version Solving: Implementing General Package Solvers W Answer Set Programming Todd Gamblin

2022 25:33
Synopsis
PackagingCon 2021 https://pretalx.com/packagingcon-2021/talk/LJ9HJK/ Description: Most package managers need a ...

You Might Also Like

Constraint Answer Set Programming as a Tool to Improve Legislative Drafting | Morris, Jason Patrick 5:35
Constraint Answer Set Programming As A Tool To Improve Legis...
2022
SoCS 2020 Master Class: Answer Set Programming: Modeling, Solving and Applications 1:45:18
Socs 2020 Master Class: Answer Set Programming: Modeling, So...
2021
Easy answer set programming, organization 6:17
Easy Answer Set Programming, Organization
2021
Spack and E4S - Todd Gamblin. 28:56
Spack And E4s - Todd Gamblin.
2021
How Can Package Managers Handle ABI (In)compatibility in C++? - Todd Gamblin - CppCon 2021 58:29
How Can Package Managers Handle Abi (in)compatibility In C++...
2023
Spack The Supercomputing Package Manager - Todd Gamblin 6:02
Spack The Supercomputing Package Manager - Todd Gamblin
2020
KR 2021 Tutorial: Answer Set Programming: From Theory to Practice 2:55:36
Kr 2021 Tutorial: Answer Set Programming: From Theory To Pra...
2022
Martin Gebser - Applications of Answer Set Programming (Part 1) 1:51:47
Martin Gebser - Applications Of Answer Set Programming (part...
2021
Answer set solving in practice, grounding, simplification 17:55
Answer Set Solving In Practice, Grounding, Simplification
2021
Answer Set Programming in a Nutshell 1:30:10
Answer Set Programming In A Nutshell
2022
Spack's new Concretizer Dependency solving is more than just SAT! 30:58
Spack's New Concretizer Dependency Solving Is More Than Just...
2021
Download Options
Choose a download method below. All links open in new tabs.
Service Features Action
Ssvid
MP4 & MP3 • HD Quality • Browser Extension Available
Download
SaveFrom
MP4 & MP3 • HD Quality • Browser Extension Available
Download
Security Notice: These are third-party services. We recommend using antivirus software and being cautious of pop-up ads.