A Prototype Implementation of a Distributed Satisfiability Modulo Theories Solver in the ToolBus Framework
Journal of the Brazilian Computer Society - Switzerland
doi 10.1007/bf03192553
Full Text
Open PDFAbstract
Available in full text
Categories
Date
March 1, 2008
Authors
Publisher
Springer Science and Business Media LLC