Piotr Bacik

According to our database, Piotr Bacik authored at least 6 papers between 2025 and 2026.

Collaborative distances:

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

2026

On Variable-Bounded Non-Linear Expansions of Presburger Arithmetic.

Piotr Bacik, Joris Nieuwveld, Joël Ouaknine, Mihir Vahanwala, Madhavan Venkatesh, Emil Rugaard Wieser

CoRR, May, 2026

On the Subspace Orbit Problem and the Simultaneous Skolem Problem.

Piotr Bacik, Anton Varonka

CoRR, January, 2026

On the p-adic Skolem Problem.

Piotr Bacik, Joël Ouaknine, David Purser, James Worrell

Proceedings of the 43rd International Symposium on Theoretical Aspects of Computer Science, 2026

On the Complexity of the Skolem Problem at Low Orders.

Piotr Bacik, Joël Ouaknine, James Worrell

Proceedings of the 2026 Annual ACM-SIAM Symposium on Discrete Algorithms, 2026

2025

On the <i>p</i>-adic Skolem Problem.

Piotr Bacik, Joël Ouaknine, David Purser, James Worrell

CoRR, April, 2025

Completing the picture for the Skolem Problem on order-4 linear recurrence sequences.

Piotr Bacik

TheoretiCS, 2025