João Paulo Marques da Silva


AuthID: R-000-J0P

Publicações Confirmadas: 271



111
TÍTULO: Lower Bounds and Upper Bounds for MaxSAT
AUTORES: Federico Heras; Morgado, António ; João Marques Silva ;
PUBLICAÇÃO: 2012, FONTE: 6th International Conference on Learning and Intelligent Optimization, LION 6 in Learning and Intelligent Optimization - 6th International Conference, LION 6, Paris, France, January 16-20, 2012, Revised Selected Papers, VOLUME: 7219
INDEXADO EM: Scopus DBLP CrossRef: 3 Unpaywall
NO MEU: ORCID | DBLP
112
TÍTULO: MaxSAT-Based MCS Enumeration
AUTORES: Morgado, António ; Mark H Liffiton; João Marques Silva ;
PUBLICAÇÃO: 2012, FONTE: Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers, VOLUME: 7857
INDEXADO EM: Scopus DBLP CrossRef: 16 Unpaywall
NO MEU: DBLP
113
TÍTULO: MUSer2: An Efficient MUS Extractor PDF
AUTORES: Anton Belov; João Marques Silva ;
PUBLICAÇÃO: 2012, FONTE: JSAT, VOLUME: 8, NÚMERO: 3/4
INDEXADO EM: DBLP
NO MEU: DBLP
114
TÍTULO: New & improved models for SAT-based bi-decomposition
AUTORES: Huan Chen; João Marques Silva ;
PUBLICAÇÃO: 2012, FONTE: 22nd Great Lakes Symposium on VLSI, GLSVLSI'2012 in Great Lakes Symposium on VLSI 2012, GLSVLSI'12, Salt Lake City, UT, USA, May 3-4, 2012
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
NO MEU: ORCID | DBLP
115
TÍTULO: On Computing Minimal Equivalent Subformulas
AUTORES: Anton Belov; Mikolás Janota; Inês Lynce ; João Marques Silva ;
PUBLICAÇÃO: 2012, FONTE: 18th International Conference on Principles and Practice of Constraint Programming, CP 2012 in Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, VOLUME: 7514
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
NO MEU: ORCID | DBLP
116
TÍTULO: On Efficient Computation of Variable MUSes
AUTORES: Anton Belov; Alexander Ivrii; Arie Matsliah; João Marques Silva ;
PUBLICAÇÃO: 2012, FONTE: 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012 in Theory and Applications of Satisfiability Testing - SAT 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings, VOLUME: 7317
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
NO MEU: ORCID | DBLP
117
TÍTULO: On Unit-Refutation Complete Formulae with Existentially Quantified Variables
AUTORES: Lucas Bordeaux; Mikolás Janota; João P Marques Silva ; Pierre Marquis;
PUBLICAÇÃO: 2012, FONTE: 13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012 in Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
118
TÍTULO: PackUp: Tools for Package Upgradability Solving PDF
AUTORES: Mikolás Janota; Inês Lynce; Vasco M. Manquinho; João Marques Silva ;
PUBLICAÇÃO: 2012, FONTE: JSAT, VOLUME: 8, NÚMERO: 1/2
INDEXADO EM: DBLP
NO MEU: DBLP
119
TÍTULO: QBf-based Boolean function bi-decomposition PDF
AUTORES: Chen, H; Janota, M; Marques Silva, J ;
PUBLICAÇÃO: 2012, FONTE: 15th Design, Automation and Test in Europe Conference and Exhibition, DATE 2012 in Proceedings -Design, Automation and Test in Europe, DATE, VOLUME: abs/1112.2313
INDEXADO EM: Scopus DBLP arXiv
NO MEU: ORCID | DBLP
120
TÍTULO: QBF-Based Boolean Function Bi-Decomposition
AUTORES: Chen, H; Janota, M; Marques Silva, J ;
PUBLICAÇÃO: 2012, FONTE: Design, Automation and Test in Europe Conference and Exhibition (DATE) in DESIGN, AUTOMATION & TEST IN EUROPE (DATE 2012)
INDEXADO EM: WOS DBLP
NO MEU: DBLP
Página 12 de 28. Total de resultados: 271.

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