Buscas alternativas:
sat programming » set programming (Expandir a busca), math programming (Expandir a busca), plant programming (Expandir a busca)
parallelism in » parallelism and (Expandir a busca), parallelism of (Expandir a busca)
in sat » in salt (Expandir a busca), in sao (Expandir a busca), in sar (Expandir a busca)
sat programming » set programming (Expandir a busca), math programming (Expandir a busca), plant programming (Expandir a busca)
parallelism in » parallelism and (Expandir a busca), parallelism of (Expandir a busca)
in sat » in salt (Expandir a busca), in sao (Expandir a busca), in sar (Expandir a busca)
1
Assuntos:
“...Parallel SAT solver...”
Parallel SAT solvers and their application in automatic parallelization
Dissertação
2
Assuntos:
“...Linear programming...”
Designing industrial production layouts: an application on robotic welding assembly lines
Dissertação