Ateet Bhalla
AuthID: R-006-P0P
1
TÃTULO: Heuristic backtracking algorithms for SAT Full Text
AUTORES: Bhalla, A; Lynce, I; de Sousa, JT; Marques Silva, J ;
PUBLICAÇÃO: 2003, FONTE: 4th International Workshop on Microprocessor Test and Verification in 4TH INTERNATIONAL WORKSHOP ON MICROPROCESSOR TEST AND VERIFICATION: COMMON CHALLENGES AND SOLUTIONS, PROCEEDINGS, VOLUME: 2003-January
AUTORES: Bhalla, A; Lynce, I; de Sousa, JT; Marques Silva, J ;
PUBLICAÇÃO: 2003, FONTE: 4th International Workshop on Microprocessor Test and Verification in 4TH INTERNATIONAL WORKSHOP ON MICROPROCESSOR TEST AND VERIFICATION: COMMON CHALLENGES AND SOLUTIONS, PROCEEDINGS, VOLUME: 2003-January
