João Paulo Marques da Silva


AuthID: R-000-J0P

Publicações Confirmadas: 266



141
TÍTULO: SAT solvers
AUTORES: Joao Marques Silva ; Ines Lynce ;
PUBLICAÇÃO: 2011, FONTE: Tractability, VOLUME: 9781107025196
INDEXADO EM: Scopus CrossRef: 1
142
TÍTULO: Automated Design Debugging With Maximum Satisfiability  Full Text
AUTORES: Chen, YB; Safarpour, S; Marques Silva, J ; Veneris, A;
PUBLICAÇÃO: 2010, FONTE: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOLUME: 29, NÚMERO: 11
INDEXADO EM: Scopus WOS DBLP CrossRef: 62 Unpaywall
NO MEU: ORCID | ResearcherID | DBLP
143
TÍTULO: Boolean Lexicographic Optimization PDF
AUTORES: Joao Marques Silva ; Josep Argelich; Ana Graça; Inês Lynce ;
PUBLICAÇÃO: 2010, FONTE: 17th RCRA 2010 Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion in Proceedings of the 17th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@CPAIOR 2010, Bologna, Italy, June 10-11, 2010, VOLUME: 616
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
144
TÍTULO: Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem  Full Text
AUTORES: Morgado, António ; Marques Silva, J ;
PUBLICAÇÃO: 2010, FONTE: FUNDAMENTA INFORMATICAE, VOLUME: 102, NÚMERO: 3-4
INDEXADO EM: Scopus WOS DBLP CrossRef: 6 Unpaywall
NO MEU: ORCID
145
TÍTULO: Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
AUTORES: Lucas C Cordeiro; Bernd Fischer; João Marques Silva ;
PUBLICAÇÃO: 2010, FONTE: 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010, Oxford, England, UK, 22-26 March 2010
INDEXADO EM: Scopus DBLP CrossRef: 6 Unpaywall
NO MEU: ORCID | DBLP
146
TÍTULO: Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription
AUTORES: Mikolas Janota; Radu Grigore; Joao Marques Silva ;
PUBLICAÇÃO: 2010, FONTE: 12th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, VOLUME: 6341
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
NO MEU: ORCID | ResearcherID | DBLP
147
TÍTULO: Efficient and Accurate Haplotype Inference by Combining Parsimony and Pedigree Information
AUTORES: Ana Graça; Inês Lynce ; João Marques Silva ; Arlindo L Oliveira ;
PUBLICAÇÃO: 2010, FONTE: 4th International Conference on Algebraic and Numeric Biology, ANB 2010 in ANB, VOLUME: 6479 LNCS
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
NO MEU: ORCID
148
TÍTULO: Haplotype Inference by Pure Parsimony: A Survey
AUTORES: Graça, A; Lynce, I ; Marques Silva, J ; Oliveira, AL ;
PUBLICAÇÃO: 2010, FONTE: JOURNAL OF COMPUTATIONAL BIOLOGY, VOLUME: 17, NÚMERO: 8
INDEXADO EM: Scopus WOS DBLP CrossRef: 8 Unpaywall
NO MEU: ORCID
149
TÍTULO: How to Complete an Interactive Configuration Process?
AUTORES: Mikolás Janota; Goetz Botterweck; Radu Grigore; João P Marques Silva ;
PUBLICAÇÃO: 2010, FONTE: 36th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2010 in SOFSEM 2010: Theory and Practice of Computer Science, 36th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 23-29, 2010. Proceedings, VOLUME: 5901
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
NO MEU: ORCID | DBLP
150
TÍTULO: Industrial-Strength Certified SAT Solving through Verified SAT Proof Checking
AUTORES: Ashish Darbari; Bernd Fischer; João Marques Silva ;
PUBLICAÇÃO: 2010, FONTE: 7th International Colloquium on Theoretical Aspects of Computing, ICTAC 2010 in Theoretical Aspects of Computing - ICTAC 2010, 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings, VOLUME: 6255
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
NO MEU: ORCID | DBLP
Página 15 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