A prototype implementation of a distributed Satisfiability...

Journal of the Brazilian Computer Society 2008 / 3 Vol. 14; Iss. 1

A prototype implementation of a distributed Satisfiability Modulo Theories solver in the ToolBus framework

David Déharbe, Silvio Ranise, Jorgiano Vidal
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
14
Language:
english
Pages:
16
DOI:
10.1007/bf03192553
Date:
March, 2008
File:
PDF, 596 KB
english, 2008
Conversion to is in progress
Conversion to is failed