Vasco Miguel Gomes Nunes Manquinho
AuthID: R-000-HE8
51
TÃTULO: Algorithms for Weighted Boolean Optimization PDF
AUTORES: Vasco M Manquinho; João P Marques Silva; Jordi Planes;
PUBLICAÇÃO: 2009, FONTE: CoRR, VOLUME: abs/0903.0843
AUTORES: Vasco M Manquinho; João P Marques Silva; Jordi Planes;
PUBLICAÇÃO: 2009, FONTE: CoRR, VOLUME: abs/0903.0843
INDEXADO EM: 
DBLP 
arXiv
DBLP arXiv52
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
53
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 DBLP54
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
