Vasco Miguel Gomes Nunes Manquinho


AuthID: R-000-HE8

Publicações Confirmadas: 22



11
TÍTULO: Learning techniques for pseudo-boolean solving
AUTORES: Santos, J; Manquinho, V ;
PUBLICAÇÃO: 2008, FONTE: LPAR 2008 Workshops on Knowledge Exchange: Automated Provers and Proof Assistants, KEAPPA 2008 and the 7th International Workshop on the Implementation of Logics, IWIL 2008 in CEUR Workshop Proceedings, VOLUME: 418
INDEXADO EM: Scopus
NO MEU: ORCID
12
TÍTULO: On Applying Unit Propagation-Based Lower Bounds in Pseudo-Boolean Optimization
AUTORES: Federico Heras; Vasco M Manquinho ; João Marques Silva ;
PUBLICAÇÃO: 2008, FONTE: 21th International Florida Artificial Intelligence Research Society Conference, FLAIRS-21 in Proceedings of the Twenty-First International Florida Artificial Intelligence Research Society Conference, May 15-17, 2008, Coconut Grove, Florida, USA
INDEXADO EM: Scopus DBLP
NO MEU: ORCID
13
TÍTULO: Symmetry Breaking for Maximum Satisfiability
AUTORES: Marques Silva, J ; Lynce, I ; Manquinho, V ;
PUBLICAÇÃO: 2008, FONTE: 15th International Conference on Logic for Programming Artificial Intelligence and Reasoning in Logic for Programming, Artificial Intelligence, and Reasoning, Proceedings, VOLUME: 5330
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
NO MEU: ORCID
14
TÍTULO: Towards more effective unsatisfiability-based maximum satisfiability algorithms
AUTORES: Joao Marques Silva ; Vasco Manquinho ;
PUBLICAÇÃO: 2008, FONTE: 11th International Conference on Theory and Applications of Satisfiability Testing in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2008, PROCEEDINGS, VOLUME: 4996
INDEXADO EM: Scopus WOS DBLP CrossRef: 17
NO MEU: ORCID
15
TÍTULO: Counting models in integer domains
AUTORES: Morgado, António ; Matos, P; Manquinho, V ; Marques Silva, J ;
PUBLICAÇÃO: 2006, FONTE: 9th International Conference on Theory and Applications of Satisfiability Testing in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2006, PROCEEDINGS, VOLUME: 4121
INDEXADO EM: Scopus WOS DBLP CrossRef: 6 Unpaywall
NO MEU: ORCID
16
TÍTULO: Effective lower bounding techniques for Pseudo-Boolean optimization  Full Text
AUTORES: Manquinho, VM ; Marques Silva, J ;
PUBLICAÇÃO: 2005, FONTE: Design, Automation and Test in Europe Conference and Exhibition (DATE 05) in DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, VOLS 1 AND 2, PROCEEDINGS, VOLUME: II
INDEXADO EM: Scopus WOS DBLP CrossRef: 15
NO MEU: ORCID
17
TÍTULO: On applying cutting planes in DLL-based algorithms for Pseudo-Boolean Optimization
AUTORES: Manquinho, V ; Marques Silva, J ;
PUBLICAÇÃO: 2005, FONTE: 8th International Conference on Theory and Applications of Satisfiability Testing in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, PROCEEDINGS, VOLUME: 3569
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID
18
TÍTULO: Satisfiability-based algorithms for Pseudo-Boolean Optimization using Gomory cuts and search restarts
AUTORES: Manquinho, VM ; Marques Silva, J ;
PUBLICAÇÃO: 2005, FONTE: 17th International Conference on Tools with Artificial Intelligence in ICTAI 2005: 17TH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 2005
INDEXADO EM: Scopus WOS DBLP CrossRef: 2 Unpaywall
NO MEU: ORCID
19
TÍTULO: Integration of lower bound estimates in Pseudo-Boolean Optimization
AUTORES: Manquinho, VM ; Marques Silva, J ;
PUBLICAÇÃO: 2004, FONTE: 16th IEEE International Conference on Tools with Artificial Intelligence in ICTAI 2004: 16TH IEEE INTERNATIONALCONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID
20
TÍTULO: Satisfiability-based algorithms for Boolean optimization  Full Text
AUTORES: Manquinho, VM ; Marques Silva, J ;
PUBLICAÇÃO: 2004, FONTE: ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, VOLUME: 40, NÚMERO: 3-4
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
NO MEU: ORCID
Página 2 de 3. Total de resultados: 22.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service