Enric Rodr\'iguez-Carbonell

Identifiers

No identifiers captured yet.

Papers (1)

1. An Effective Orchestral Approach to Satisfiability Modulo Prime Fields cs.LO · 2026 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Albert Rubio 1 shared papers
• Clara Rodr\'iguez-N\'u\~nez 1 shared papers
• Miguel Isabel 1 shared papers