Romanelli Lodron Zuim

Publication Activity (10 Years)

Years Active: 2003-2008
Publications (10 Years): 0

Federal University of Minas Gerais, Brazil (PHD)

Education History

Federal University of Minas Gerais, Brazil

PHD

Publications

Romanelli Lodron Zuim, José T. de Sousa, Claudionor Coelho
Decision heuristic for Davis Putnam, Loveland and Logemann algorithm satisfiability solving based on cube subtraction. IET Comput. Digit. Tech. 2 (1) (2008)
Romanelli Lodron Zuim, José T. de Sousa, Claudionor José Nunes Coelho Jr.
A fast SAT solver algorithm best suited to reconfigurable hardware. SBCCI (2006)
Romanelli Lodron Zuim, José T. de Sousa, Claudionor José Nunes Coelho Jr.
A Fast SAT Solver Strategy Based on Negated Clauses. VLSI-SoC (2006)
Romanelli Lodron Zuim, José T. Souza, Claudionor José Nunes Coelho Jr.
Cube Subtraction in SAT Solvers. LATW (2006)
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.
Dynamic Reconfiguration Behavior Using Generic FPGAs and FPIDs. SBCCI (2003)