TSAT++: an Open Platform for Satisfiability Modulo Theories. - Alessandro Armando; Claudio Castellini; Enrico Giunchiglia; Massimo Idini; Marco Maratea (D/PDPAR@IJCAR, 2004)