Write a Blog >>
Ravi Mangal

Registered user since Mon 4 Dec 2017

Name: Ravi Mangal

Affiliation: Georgia Institute of Technology

Contributions

POPL 2016Author of Query-Guided Maximum Satisfiability within the Research Papers-track
Show activities from other conferences

POPL 2016-profile
View general profile