Romanelli Lodron Zuim

According to our database, Romanelli Lodron Zuim authored at least 6 papers between 2003 and 2008.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2008

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

2007

Uma heurística de decisão baseada na subtração de cubos para solucionadores DPLL do problema de satisfabilidade.

Romanelli Lodron Zuim

PhD thesis, 2007

2006

A Fast SAT Solver Strategy Based on Negated Clauses.

Romanelli Lodron Zuim, José T. de Sousa, Claudionor José Nunes Coelho Jr.

Proceedings of the IFIP VLSI-SoC 2006, 2006

A fast SAT solver algorithm best suited to reconfigurable hardware.

Romanelli Lodron Zuim, José T. de Sousa, Claudionor José Nunes Coelho Jr.

Proceedings of the 19th Annual Symposium on Integrated Circuits and Systems Design, 2006

Cube Subtraction in SAT Solvers.

Romanelli Lodron Zuim, José T. Souza, Claudionor José Nunes Coelho Jr.

Proceedings of the 7th Latin American Test Workshop, 2006

2003

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.

Proceedings of the 16th Annual Symposium on Integrated Circuits and Systems Design, 2003