Rodrigo Raya

15 papers B 2Journal 9Unranked 4
YearRankTypeTitle / Venue / Authors
2025 — conf
Interpolating Parametric Array Theories.
JELIA (2)
Rodrigo Raya, Christophe Ringeissen
2025 — conf
Polite Combination in Parametric Array Theories.
FroCoS
Rodrigo Raya, Christophe Ringeissen
2024 — conf
On Regular Relations in Parametric Array Theories.
ARQNL@IJCAR
Rodrigo Raya
2024 J jnl
On algebraic array theories.
J. Log. Algebraic Methods Program.
Rodrigo Raya, Viktor Kuncak
2024 J jnl
Succinct ordering and aggregation constraints in algebraic array theories.
J. Log. Algebraic Methods Program.
Rodrigo Raya, Viktor Kuncak
2023 J jnl
Combinatory Array Logic with Sums.
CoRR
Rodrigo Raya
2023 J jnl
Group Law of Edwards Elliptic Curves.
Arch. Formal Proofs
Rodrigo Raya
2023 B conf
On the Complexity of Convex and Reverse Convex Prequadratic Constraints.
LPAR
Rodrigo Raya, Jad Hamza, Viktor Kuncak
2023 J jnl
The Complexity of Checking Non-Emptiness in Symbolic Tree Automata.
CoRR
Rodrigo Raya
2023 J jnl
The Complexity of Satisfiability Checking for Symbolic Finite Automata.
CoRR
Rodrigo Raya
2022 J jnl
NP Decision Procedure for Monomial and Linear Integer Constraints.
CoRR
Rodrigo Raya, Jad Hamza, Viktor Kuncak
2022 B conf
NP Satisfiability for Arrays as Powers.
VMCAI
Rodrigo Raya, Viktor Kuncak
2021 J jnl
NP Satisfiability for Arrays as Powers.
CoRR
Rodrigo Raya, Viktor Kuncak
2020 — conf
Formal Proof of the Group Law for Edwards Elliptic Curves.
IJCAR (2)
Thomas C. Hales, Rodrigo Raya
2019 J jnl
Gauss Sums and the Pólya-Vinogradov Inequality.
Arch. Formal Proofs
Rodrigo Raya, Manuel Eberl