Login / Signup
Andoni Rodríguez
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 3
Top Topics
Answer Set Programming
High Level
Semantic Web
Modulo Theories
Top Venues
CoRR
CAV (3)
</>
Publications
</>
Andoni Rodríguez
,
César Sánchez
Boolean Abstractions for Realizability Modulo Theories (Extended version).
CoRR
(2023)
Andoni Rodríguez
,
César Sánchez
Boolean Abstractions for Realizability Modulo Theories.
CAV (3)
(2023)
Andoni Rodríguez
,
César Sánchez
From Realizability Modulo Theories to Synthesis Modulo Theories Part 1: Dynamic approach.
CoRR
(2023)