Panos Theodoropoulos

According to our database, Panos Theodoropoulos authored at least 4 papers between 2017 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2019

Model counting with error-correcting codes.

Dimitris Achlioptas, Panos Theodoropoulos

Constraints An Int. J., 2019

2018

Fast and Flexible Probabilistic Model Counting.

Dimitris Achlioptas, Zayd Hammoudeh, Panos Theodoropoulos

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2018, 2018

Fast Sampling of Perfectly Uniform Satisfying Assignments.

Dimitris Achlioptas, Zayd S. Hammoudeh, Panos Theodoropoulos

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2018, 2018

2017

Probabilistic Model Counting with Short XORs.

Dimitris Achlioptas, Panos Theodoropoulos

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28, 2017