Paper co-authored by Saurabh Joshi accepted at IJCAI 2019
A research paper titled “Phase Transition Behavior of Cardinality and XOR COnstraints” co-authored by Saurabh Joshi with collaborators Yash Pote and Kuldeep Singh Meel from NUS have been accepted for publication at IJCAI 2019. This year IJCAI 2019 has accepted 850 out of total 4752 submissions.
The research work does empirical and theoretical analysis of the phase transition behaviour and hardness of a formula containing randomly generated XOR constraints and one cardinality constraint. Such constraints have applications in in Maximum Likelihood Decoding and Weighted Model Counting.