Vasco Miguel Gomes Nunes Manquinho
AuthID: R-000-HE8
61
TÃTULO: Backtracking
AUTORES: Inês Lynce ; Vasco M Manquinho; João Marques Silva ;
PUBLICAÇÃO: 2008, FONTE: Wiley Encyclopedia of Computer Science and Engineering
AUTORES: Inês Lynce ; Vasco M Manquinho; João Marques Silva ;
PUBLICAÇÃO: 2008, FONTE: Wiley Encyclopedia of Computer Science and Engineering
62
TÃTULO: Search pruning conditions for Boolean Optimization
AUTORES: Manquinho, VM; Marques Silva, J ;
PUBLICAÇÃO: 2000, FONTE: 14th European Conference on Artificial Intelligence in ECAI 2000: 14TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 54
AUTORES: Manquinho, VM; Marques Silva, J ;
PUBLICAÇÃO: 2000, FONTE: 14th European Conference on Artificial Intelligence in ECAI 2000: 14TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 54
INDEXADO EM: 
WOS 
DBLP
WOS DBLP63
TÃTULO: On Using Satisfiability-Based Pruning Techniques in Covering Algorithms
AUTORES: Vasco M Manquinho; João P Marques Silva ;
PUBLICAÇÃO: 2000, FONTE: 2000 Design, Automation and Test in Europe (DATE 2000), 27-30 March 2000, Paris, France
AUTORES: Vasco M Manquinho; João P Marques Silva ;
PUBLICAÇÃO: 2000, FONTE: 2000 Design, Automation and Test in Europe (DATE 2000), 27-30 March 2000, Paris, France
