Massimo Idini

According to our database, Massimo Idini authored at least 1 paper in 2004.

Collaborative distances:

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

2004

TSAT++: an Open Platform for Satisfiability Modulo Theories.

Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Massimo Idini, Marco Maratea

Proceedings of the Selected Papers from the Workshops on Disproving, 2004