Dynamic Reconfiguration Behavior Using Generic FPGAs and FPIDs. - Romanelli Lodron Zuim; Claudionor José Nunes Coelho Jr.; Luiz Fernando Etrusco Moreira; Antônio Otávio Fernandes; José Monteiro da Mata; Diógenes Cecilio da Silva Jr. (SBCCI, 2003)

Cube Subtraction in SAT Solvers. - Romanelli Lodron Zuim; José T. Souza; Claudionor José Nunes Coelho Jr. (LATW, 2006)

A fast SAT solver algorithm best suited to reconfigurable hardware. - Romanelli Lodron Zuim; José T. de Sousa; Claudionor José Nunes Coelho Jr. (SBCCI, 2006)

A Fast SAT Solver Strategy Based on Negated Clauses. - Romanelli Lodron Zuim; José T. de Sousa; Claudionor José Nunes Coelho Jr. (VLSI-SoC, 2006)

Uma heurística de decisão baseada na subtração de cubos para solucionadores DPLL do problema de satisfabilidade. - Romanelli Lodron Zuim (2007)

Decision heuristic for Davis Putnam, Loveland and Logemann algorithm satisfiability solving based on cube subtraction. - Romanelli Lodron Zuim; José T. de Sousa; Claudionor Coelho (IET Comput. Digit. Tech., 2008)