Rodrigo Raya

According to our database, Rodrigo Raya authored at least 11 papers between 2019 and 2024.

Collaborative distances:

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

2024

On algebraic array theories.

Rodrigo Raya, Viktor Kuncak

J. Log. Algebraic Methods Program., January, 2024

Succinct ordering and aggregation constraints in algebraic array theories.

Rodrigo Raya, Viktor Kuncak

J. Log. Algebraic Methods Program., 2024

2023

Combinatory Array Logic with Sums.

Rodrigo Raya

CoRR, 2023

The Complexity of Checking Non-Emptiness in Symbolic Tree Automata.

Rodrigo Raya

CoRR, 2023

The Complexity of Satisfiability Checking for Symbolic Finite Automata.

Rodrigo Raya

CoRR, 2023

Group Law of Edwards Elliptic Curves.

Rodrigo Raya

Arch. Formal Proofs, 2023

On the Complexity of Convex and Reverse Convex Prequadratic Constraints.

Rodrigo Raya, Jad Hamza, Viktor Kuncak

Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023

2022

NP Decision Procedure for Monomial and Linear Integer Constraints.

Rodrigo Raya, Jad Hamza, Viktor Kuncak

CoRR, 2022

NP Satisfiability for Arrays as Powers.

Rodrigo Raya, Viktor Kuncak

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2022

2020

Formal Proof of the Group Law for Edwards Elliptic Curves.

Thomas C. Hales, Rodrigo Raya

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2019

Gauss Sums and the Pólya-Vinogradov Inequality.

Rodrigo Raya, Manuel Eberl

Arch. Formal Proofs, 2019