POPL 2020

A Constructive Formalization of the Weak Perfect Graph Theorem

Sep 17, 2020

|

30 views

ACM SIGPLAN

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

ICAPS 2012: Session IIa on "Special Track on Continuous Planning"

ICAPS | Aug 18, 2014

ICAPS 2012: Session IVa "Planning and Scheduling in the Real World"

ICAPS | Aug 18, 2014

ICAPS 2012: Session IVb on "Learning & Local Search in Planning"

ICAPS | Aug 18, 2014

ICAPS 2012: Session V with "Best Papers"

ICAPS | Aug 18, 2014

ICAPS 2012: Session IIIb on "Enhancing Descriptions and Improving Plans"

ICAPS | Aug 18, 2014