A prototype implementation of a distributed satisfiability modulo theories solver in the ToolBus framework
| Autor(a) principal: | |
|---|---|
| Data de Publicação: | 2008 |
| Outros Autores: | , |
| Tipo de documento: | Artigo |
| Idioma: | eng |
| Texto Completo: | http://old.scielo.br/scielo.php?script=sci_arttext&pid=S0104-65002008000100007 |
| id |
UFRGS-28_02fb2dff889bf94c7579d1191b32b740 |
|---|---|
| url |
http://old.scielo.br/scielo.php?script=sci_arttext&pid=S0104-65002008000100007 |
| title |
A prototype implementation of a distributed satisfiability modulo theories solver in the ToolBus framework |
| topic |
Satisfiability Modulo Theories distributed computing BDDs haRVey |
| author |
Déharbe,David |
| format |
article |
| author2 |
Ranise,Silvio Vidal,Jorgiano |
| language |
eng |
| publishDate |
2008 |
| instname_str |
Sociedade Brasileira de Computação (SBC) |
| instacron_str |
UFRGS |
| network_name_str |
Journal of the Brazilian Computer Society |
| oai_identifier_str |
oai:scielo:S0104-65002008000100007 |