VMCAI
Sun 17 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
Ravi Mangal

Registered user since Mon 4 Dec 2017

Name:Ravi Mangal
Affiliation:Georgia Institute of Technology

Contributions

POPL 2016 Query-Guided Maximum Satisfiability
Show activities from other conferences

POPL 2016-profile
View general profile