Rodrigo Raya

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 12

Top Topics

Top Venues

J. Log. Algebraic Methods Program.

Arch. Formal Proofs

Publications

Rodrigo Raya, Viktor Kuncak
Succinct ordering and aggregation constraints in algebraic array theories. J. Log. Algebraic Methods Program. 140 (2024)
Rodrigo Raya, Viktor Kuncak
On algebraic array theories. J. Log. Algebraic Methods Program. 136 (2024)
Rodrigo Raya
Group Law of Edwards Elliptic Curves. Arch. Formal Proofs 2023 (2023)
Rodrigo Raya
The Complexity of Satisfiability Checking for Symbolic Finite Automata. CoRR (2023)
Rodrigo Raya
Combinatory Array Logic with Sums. CoRR (2023)
Rodrigo Raya
The Complexity of Checking Non-Emptiness in Symbolic Tree Automata. CoRR (2023)
Rodrigo Raya, Jad Hamza, Viktor Kuncak
On the Complexity of Convex and Reverse Convex Prequadratic Constraints. LPAR (2023)
Rodrigo Raya, Viktor Kuncak
NP Satisfiability for Arrays as Powers. VMCAI (2022)
Rodrigo Raya, Jad Hamza, Viktor Kuncak
NP Decision Procedure for Monomial and Linear Integer Constraints. CoRR (2022)
Rodrigo Raya, Viktor Kuncak
NP Satisfiability for Arrays as Powers. CoRR (2021)
Thomas C. Hales, Rodrigo Raya
Formal Proof of the Group Law for Edwards Elliptic Curves. IJCAR (2) (2020)
Rodrigo Raya, Manuel Eberl
Gauss Sums and the Pólya-Vinogradov Inequality. Arch. Formal Proofs 2019 (2019)