Vasco Miguel Gomes Nunes Manquinho
AuthID: R-000-HE8
41
TITLE: Optimally Solving the MCM Problem Using Pseudo-Boolean Satisfiability PDF
AUTHORS: Nuno P Lopes ; Levent Aksoy; Vasco M Manquinho; José Monteiro;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1011.2685
AUTHORS: Nuno P Lopes ; Levent Aksoy; Vasco M Manquinho; José Monteiro;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1011.2685
INDEXED IN: 
DBLP 
arXiv
DBLP arXiv42
TITLE: Pseudo-boolean and cardinality constraints
AUTHORS: Roussel, O; Manquinho, V;
PUBLISHED: 2009, SOURCE: Frontiers in Artificial Intelligence and Applications, VOLUME: 185, ISSUE: 1
AUTHORS: Roussel, O; Manquinho, V;
PUBLISHED: 2009, SOURCE: Frontiers in Artificial Intelligence and Applications, VOLUME: 185, ISSUE: 1
INDEXED IN: 
Scopus
Scopus IN MY: 
ORCID
ORCID43
TITLE: Algorithms for Weighted Boolean Optimization PDF
AUTHORS: Vasco M Manquinho; João P Marques Silva; Jordi Planes;
PUBLISHED: 2009, SOURCE: CoRR, VOLUME: abs/0903.0843
AUTHORS: Vasco M Manquinho; João P Marques Silva; Jordi Planes;
PUBLISHED: 2009, SOURCE: CoRR, VOLUME: abs/0903.0843
INDEXED IN: DBLP arXiv
DBLP arXiv44
TITLE: Symmetry Breaking for Maximum Satisfiability PDF
AUTHORS: João Marques Silva; Inês Lynce; Vasco M Manquinho;
PUBLISHED: 2008, SOURCE: CoRR, VOLUME: abs/0804.0599
AUTHORS: João Marques Silva; Inês Lynce; Vasco M Manquinho;
PUBLISHED: 2008, SOURCE: CoRR, VOLUME: abs/0804.0599
INDEXED IN: DBLP arXiv
DBLP arXiv45
TITLE: Search pruning conditions for Boolean Optimization
AUTHORS: Manquinho, VM; Marques Silva, J ;
PUBLISHED: 2000, SOURCE: 14th European Conference on Artificial Intelligence in ECAI 2000: 14TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 54
AUTHORS: Manquinho, VM; Marques Silva, J ;
PUBLISHED: 2000, SOURCE: 14th European Conference on Artificial Intelligence in ECAI 2000: 14TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 54
INDEXED IN: 
WOS DBLP
WOS DBLP46
TITLE: On Using Satisfiability-Based Pruning Techniques in Covering Algorithms
AUTHORS: Vasco M Manquinho; João P Marques Silva ;
PUBLISHED: 2000, SOURCE: 2000 Design, Automation and Test in Europe (DATE 2000), 27-30 March 2000, Paris, France
AUTHORS: Vasco M Manquinho; João P Marques Silva ;
PUBLISHED: 2000, SOURCE: 2000 Design, Automation and Test in Europe (DATE 2000), 27-30 March 2000, Paris, France
