Dr. Anna LatourDec 18, 2024

I'm teaching my first lecture at the new job today, about probabilistic logic programming, probabilistic inference, and (weighted) model counting.

Some of the required reading is a paper (https://eccc.weizmann.ac.il/eccc-reports/2003/TR03-003/index.html) that was written by a great mentor of mine, prof. dr. Fahiem Bacchus. He passed away just over 2 years ago, and I am honoured to keep his memory alive by teaching his ideas to a new generation of students. Hope to do him proud. 🌱

Please send good vibes? 🥺

#AcademicChatter #AcademicLife #AcademicMastodon #Teaching #Probability #ProbabilisticInference #Probabilities #Logic #LogicProgramming #PropositionalModelCounting #ProbabilisticLogicProgramming #ModelCounting #PropositionalLogic #WeightedModelCounting #DPLL #BayesianProbability #BayesNets #BasianStatistics #BayesianInference #BayesianNetworks #KnowledgeCompilation #DecisionDiagrams #BinaryDecisionDiagrams

ECCC - TR03-003

Homepage of the Electronic Colloquium on Computational Complexity located at the Weizmann Institute of Science, Israel

Constraint Programming 2023Aug 25, 2023

Check out the DPSolve program now!

https://sites.google.com/view/dpsolve2023/program

It will be a decision diagram-heavy program with an invited talk by @ryanjoneil!

#CP2023conf #ConstraintProgramming #DynamicProgramming #ArtificialIntelligence #AI #AcademicMastodon #DecisionDiagrams #AcademicChatter

DPSOLVE 2023 - Program

Sunday August 27, 2023 9:00-10:30 Session 1 9:00-9:45 Tutorial: State-based search methods (Ryo Kuroiwa, University of Toronto) 9:45-10:30 Tutorial: Decision diagram-based optimization (Willem van Hoeve, Carnegie Mellon University) 10:30-10:55 Coffee break 10:55-12:25 Session 2 10:55-11:25 DDO: A

nextmvFeb 15, 2023

A MIP solver, CP solver, and decision diagram solver walk into a bar.

The MIP solver says, “Give me your best beer, I’ll wait.”

The CP solver says, “Give me any drink, just as long as it’s a drink.”

The DD solver says, “I’ll have my beer and drink it too.”

Join Ryan on Thursday in raising a glass to decision diagrams in optimization: https://www.nextmv.io/videos/decision-diagrams-in-operations-research-optimization-vehicle-routing-and-beyond

#orms #decisiondiagrams #mixedintegerprogramming

Decision diagrams in operations research, optimization, vehicle routing, and beyond

In the beginning there was linear programming. It spawned decades of similarly-shaped solver offshoots. Decision diagrams break with this classic paradigm and offer new opportunities to solve common optimization problems.

nextmvFeb 13, 2023

What is different about decision diagram modeling compared to MIP or CP for solving optimization problems? @ryanjoneil will cover this and more on Thursday. Join us: https://www.nextmv.io/videos/decision-diagrams-in-operations-research-optimization-vehicle-routing-and-beyond

#decisiondiagrams #orms #mixedintegerprogramming #routeoptimization

Decision diagrams in operations research, optimization, vehicle routing, and beyond

In the beginning there was linear programming. It spawned decades of similarly-shaped solver offshoots. Decision diagrams break with this classic paradigm and offer new opportunities to solve common optimization problems.