Francesco Cristiano

According to our database, Francesco Cristiano authored at least 2 papers between 2012 and 2020.

Collaborative distances:

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

2020

Syntactic Isomorphism of CNF Boolean Formulas is Graph Isomorphism Complete.

Giorgio Ausiello, Francesco Cristiano, Paolo Fantozzi, Luigi Laura

Proceedings of the 21st Italian Conference on Theoretical Computer Science, 2020

2012

Syntactic Isomorphism of CNF Boolean Formulas is Graph Isomorphism Complete.

Giorgio Ausiello, Francesco Cristiano, Luigi Laura

Electron. Colloquium Comput. Complex., 2012