Probabilistic Model Counting with Short XORs. - Dimitris Achlioptas; Panos Theodoropoulos (SAT, 2017)

Fast Sampling of Perfectly Uniform Satisfying Assignments. - Dimitris Achlioptas; Zayd S. Hammoudeh; Panos Theodoropoulos (SAT, 2018)

Fast and Flexible Probabilistic Model Counting. - Dimitris Achlioptas; Zayd Hammoudeh; Panos Theodoropoulos (SAT, 2018)

Model counting with error-correcting codes. - Dimitris Achlioptas; Panos Theodoropoulos (Constraints An Int. J., 2019)