Browsing by Author Romanelli Lodron Zuim
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) | Type |
---|---|---|---|
21-Nov-2007 | Uma heurística de decisão baseada na subtração de cubos para solucionadores DPLL do problema de satisfabilidade | Romanelli Lodron Zuim | Tese de Doutorado |