A Prototype Implementation of a Distributed Satisfiability Modulo Theories Solver in the ToolBus Framework.

Published in: J. Braz. Comput. Soc. (2008)

Keyphrases