Sign in
POPL 2020
Event Home
A Constructive Formalization of the Weak Perfect Graph Theorem
Sep 17, 2020
|
30 views
ACM SIGPLAN
Follow
Graphs
1420 videos · undefined sub area
Details
Presenter: Abhishek Kr Singh Presented at CPP'20, colocated with POPL 2020.
Category: POPL 2020
Comments
loading...
Reactions
(0)
| Note
📝 No reactions yet
Be the first one to share your thoughts!
Reactions
(0)
Note
loading...
Recommended
14:30
ICAPS 2014: Vidal Alcázar on "Analyzing the Impact of Partial States..."
ICAPS
| Jul 3, 2014
13:37
ICAPS 2014: Aijun Bai on "Thompson Sampling Based Monte-Carlo Planning in POMDPs"
ICAPS
| Jul 3, 2014
23:50
ICAPS 2014: Satish Kumar on "A Tree-Based Algorithm for Construction Robots"
ICAPS
| Jul 16, 2014
25:08
ICAPS 2014: Peter Ondruska on "The Route Not Taken: Driver-Centric Estimation..."
ICAPS
| Jul 21, 2014
21:02
ICAPS 2014: Franc Ivankovic on "Optimal Planning with Global Numerical State Constraints"
ICAPS
| Jul 23, 2014