Write a Blog >>
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