Massimo Idini

Publication Activity (10 Years)

Years Active: 2005-2005
Publications (10 Years): 0

Publications

Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Massimo Idini, Marco Maratea
TSAT++: an Open Platform for Satisfiability Modulo Theories. Electron. Notes Theor. Comput. Sci. 125 (3) (2005)