Maria Ines Camarate de Campos Lynce de Faria
AuthID: R-000-BN4
81
TITLE: Heuristic backtracking algorithms for SAT Full Text
AUTHORS: Bhalla, A; Lynce, I; de Sousa, JT; Marques Silva, J ;
PUBLISHED: 2003, SOURCE: 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
AUTHORS: Bhalla, A; Lynce, I; de Sousa, JT; Marques Silva, J ;
PUBLISHED: 2003, SOURCE: 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
82
TITLE: Building state-of-the-art SAT solvers
AUTHORS: Lynce, I; Marques Silva, J ;
PUBLISHED: 2002, SOURCE: 15th European Conference on Artificial Intelligence in ECAI 2002: 15TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 77
AUTHORS: Lynce, I; Marques Silva, J ;
PUBLISHED: 2002, SOURCE: 15th European Conference on Artificial Intelligence in ECAI 2002: 15TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 77
INDEXED IN: WOS DBLP