| Azucar. SANT-BASE SOLVER CSP com base na "codificação da ordem compacta" |
Baixe Agora |
Azucar. Classificação e resumo
- Site do editor:
- http://d.hatena.ne.jp/tm_tn/
- Sistemas operacionais:
- Mac OS X
- Tamanho do arquivo:
- 542 KB
Azucar. Tag
Azucar. Descrição
A Azucar é um solucionador csp baseado em SAT gratuito e aberto que fornece vários Emahcements ao seu predecessor, açúcar - um sistema premiado de categorias globais do 2008 e 2009 International CSP Solver Competições.Azucar é capaz de resolver finitos não lineares Problemas de satisfação (CSP), problemas de otimização de restrição (COP) e Max-CSP sobre INTEGERS.Moreover, a ferramenta Azucar emprega um novo método de codificação satélite chamado encodificação de ordem compacta. Esse método implica que cada inteiro é representado usando um numeral sistema de qualquer base, e cada comparação dígito-sábio é codificada usando codificação de ordem. Então, na codificação de pedidos, uma comparação x
Azucar. Software Relacionado