Pál András Papp
Pál András Papp
Verified email at ethz.ch
Title
Cited by
Cited by
Year
Low-stretch spanning trees
PA Papp, S Kisfaludi-Bak, Z Király
Undergraduate thesis, Eötvös Loránd University, 2014
142014
Formula partitioning revisited
ZÁ Mann, PA Papp
5th Pragmatics of SAT workshop (POS-14), 41-56, 2014
112014
Predicting algorithmic complexity through structure analysis and compression
ZÁ Mann, PA Papp
Applied Soft Computing 13 (8), 3582-3596, 2013
52013
Default Ambiguity: Finding the Best Solution to the Clearing Problem
PA Papp, R Wattenhofer
arXiv preprint arXiv:2002.07741, 2020
32020
Stabilization Time in Weighted Minority Processes
PA Papp, R Wattenhofer
36th International Symposium on Theoretical Aspects of Computer Science …, 2019
32019
Guiding SAT solving by formula partitioning
ZÁ Mann, PA Papp
International Journal on Artificial Intelligence Tools 26 (04), 1750011, 2017
32017
Sequential Defaulting in Financial Networks
PA Papp, R Wattenhofer
12th Innovations in Theoretical Computer Science Conference (ITCS 2021) 185 …, 2021
22021
Network-Aware Strategies in Financial Systems
PA Papp, R Wattenhofer
47th International Colloquium on Automata, Languages, and Programming (ICALP …, 2020
22020
Stabilization Time in Minority Processes
PA Papp, R Wattenhofer
30th International Symposium on Algorithms and Computation (ISAAC 2019) 149 …, 2019
22019
On the Hardness of Red-Blue Pebble Games
PA Papp, R Wattenhofer
Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and …, 2020
12020
Debt Swapping for Risk Mitigation in Financial Networks
PA Papp, R Wattenhofer
22nd ACM Conference on Economics and Computation (EC 2021), 2021
2021
A General Stabilization Bound for Influence Propagation in Graphs
PA Papp, R Wattenhofer
47th International Colloquium on Automata, Languages, and Programming (ICALP …, 2020
2020
SAT Sparsification – Under Investigation
PA Papp
Master's thesis, ETH Zürich, 2016
2016
The system can't perform the operation now. Try again later.
Articles 1–13