Lucas Clemente Vella

According to our database, Lucas Clemente Vella authored at least 1 paper in 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

On Satisfiability of Polynomial Equations over Large Prime Fields.

Lucas Clemente Vella, Leonardo Alt

Proceedings of the 20th Internal Workshop on Satisfiability Modulo Theories co-located with the 11th International Joint Conference on Automated Reasoning (IJCAR 2022) part of the 8th Federated Logic Conference (FLoC 2022), 2022