Francesco Piro

According to our database, Francesco Piro authored at least 2 papers between 2008 and 2020.

Collaborative distances:

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

2020

Generalizing an Exactly-1 SAT Solver for Arbitrary Numbers of Variables, Clauses, and K.

Francesco Piro, Mehrnoosh Askarpour, Elisabetta Di Nitto

Proceedings of the Short Papers Proceedings of the 1st International Workshop on Software Engineering & Technology (Q-SET'20) co-located with IEEE International Conference on Quantum Computing and Engineering (IEEE Quantum Week 2020), 2020

2008

For a History of Leibniz's Principle of Sufficient Reason. First Formulations and Their Historical Background.

Francesco Piro

Proceedings of the Leibniz: What Kind of Rationalist?, 2008