Not registered as user yet

Name:Rodrigo Raya
Country:Switzerland
Affiliation:EPFL

Contributions

VMCAI 2022 Author of NP Satisfiability for Arrays as Powers within the VMCAI 2022-track