R. Zuim
AuthID: R-006-K2P
1
TÃTULO: Decision heuristic for Davis Putnam, Loveland and Logemann algorithm satisfiability solving based on cube subtraction Full Text
AUTORES: Zuim, R; de Sousa, JT; Coelho, CN;
PUBLICAÇÃO: 2008, FONTE: IET COMPUTERS AND DIGITAL TECHNIQUES, VOLUME: 2, NÚMERO: 1
AUTORES: Zuim, R; de Sousa, JT; Coelho, CN;
PUBLICAÇÃO: 2008, FONTE: IET COMPUTERS AND DIGITAL TECHNIQUES, VOLUME: 2, NÚMERO: 1
2
TÃTULO: A fast SAT Solver strategy based on negated clauses
AUTORES: Romanelli Zuim; Jose T Sousa; Claudionor N Coelho;
PUBLICAÇÃO: 2006, FONTE: International Conference on Very Large Scale Integration and System-on-Chip in IFIP VLSI-SOC 2006: IFIP WG 10.5 INTERNATIONAL CONFERENCE ON VERY LARGE SCALE INTEGRATION & SYSTEM-ON-CHIP
AUTORES: Romanelli Zuim; Jose T Sousa; Claudionor N Coelho;
PUBLICAÇÃO: 2006, FONTE: International Conference on Very Large Scale Integration and System-on-Chip in IFIP VLSI-SOC 2006: IFIP WG 10.5 INTERNATIONAL CONFERENCE ON VERY LARGE SCALE INTEGRATION & SYSTEM-ON-CHIP
INDEXADO EM: 
WOS
WOS