João Paulo Marques da Silva


AuthID: R-000-J0P

Publicações Confirmadas: 266



151
TÍTULO: Minimal Unsatisfiability: Models, Algorithms & Applications
AUTORES: Marques Silva, J ;
PUBLICAÇÃO: 2010, FONTE: 40th International Symposium on Multiple-Valued Logic (ISMVL) in 40TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC ISMVL 2010
INDEXADO EM: Scopus WOS
NO MEU: ResearcherID
152
TÍTULO: Minimal Unsatisfiability: Models, Algorithms and Applications (Invited Paper)
AUTORES: João P Marques Silva ;
PUBLICAÇÃO: 2010, FONTE: 40th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2010, Barcelona, Spain, 26-28 May 2010
INDEXADO EM: DBLP CrossRef: 28 Unpaywall
NO MEU: ORCID | DBLP
153
TÍTULO: On Computing Backbones of Propositional Theories
AUTORES: Marques Silva, J ; Janota, M; Lynce, I ;
PUBLICAÇÃO: 2010, FONTE: 19th European Conference on Artificial Intelligence (ECAI)/6th Conference on Prestigious Applications of Intelligent Systems (PAIS) in ECAI 2010 - 19TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 215
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
154
TÍTULO: Solving Linux Upgradeability Problems Using Boolean Optimization PDF
AUTORES: Josep Argelich; Daniel Le Berre; Inês Lynce ; João Marques Marques Silva ; Pascal Rapicault;
PUBLICAÇÃO: 2010, FONTE: Proceedings First International Workshop on Logics for Component Configuration, LoCoCo 2010, Edinburgh, UK, 10th July 2010., VOLUME: 29
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
155
TÍTULO: A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas  Full Text
AUTORES: Liffiton, M; Mneimneh, M; Lynce, I ; Andraus, Z; Marques Silva, J ; Sakallah, K;
PUBLICAÇÃO: 2009, FONTE: CONSTRAINTS, VOLUME: 14, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef: 26 Unpaywall
NO MEU: ORCID | ResearcherID | DBLP
156
TÍTULO: A Lazy Unbounded Model Checker for Event-B
AUTORES: Paulo J Matos; Bernd Fischer; João P Marques Silva ;
PUBLICAÇÃO: 2009, FONTE: 11th International Conference on Formal Engineering Methods, ICFEM 2009 in Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings, VOLUME: 5885
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
NO MEU: ORCID | DBLP
157
TÍTULO: Algorithms for finding dispensable variables PDF
AUTORES: Mikolás Janota; João Marques Silva ; Radu Grigore;
PUBLICAÇÃO: 2009, FONTE: CoRR, VOLUME: abs/0910.0013
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
158
TÍTULO: Algorithms for Weighted Boolean Optimization
AUTORES: Vasco M Manquinho ; João P Marques Silva ; Jordi Planes;
PUBLICAÇÃO: 2009, FONTE: 12th International Conference on Theory and Applications of Satisfiability Testing, SAT 2009 in Theory and Applications of Satisfiability Testing - SAT 2009, 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings, VOLUME: 5584
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
NO MEU: ORCID | DBLP
159
TÍTULO: Conflict-Driven Clause Learning SAT Solvers
AUTORES: João P Marques Silva ; Inês Lynce ; Sharad Malik;
PUBLICAÇÃO: 2009, FONTE: Handbook of Satisfiability, VOLUME: 185, NÚMERO: 1
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
160
TÍTULO: Industrial-Strength Formally Certified SAT Solving PDF
AUTORES: Ashish Darbari; Bernd Fischer; João P Marques Silva ;
PUBLICAÇÃO: 2009, FONTE: CoRR, VOLUME: abs/0911.1678
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
Página 16 de 27. Total de resultados: 266.

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

Links Úteis

Ajuda

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