R. Zuim
AuthID: R-006-K2P
1
TITLE: Decision heuristic for Davis Putnam, Loveland and Logemann algorithm satisfiability solving based on cube subtraction Full Text
AUTHORS: Zuim, R; de Sousa, JT; Coelho, CN;
PUBLISHED: 2008, SOURCE: IET COMPUTERS AND DIGITAL TECHNIQUES, VOLUME: 2, ISSUE: 1
AUTHORS: Zuim, R; de Sousa, JT; Coelho, CN;
PUBLISHED: 2008, SOURCE: IET COMPUTERS AND DIGITAL TECHNIQUES, VOLUME: 2, ISSUE: 1
2
TITLE: A fast SAT Solver strategy based on negated clauses
AUTHORS: Romanelli Zuim; Jose T Sousa; Claudionor N Coelho;
PUBLISHED: 2006, SOURCE: 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
AUTHORS: Romanelli Zuim; Jose T Sousa; Claudionor N Coelho;
PUBLISHED: 2006, SOURCE: 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
INDEXED IN: 
WOS
WOS