João Paulo Marques da Silva


AuthID: R-000-J0P

Confirmed Publications: 266



141
TITLE: SAT solvers
AUTHORS: Joao Marques Silva ; Ines Lynce ;
PUBLISHED: 2011, SOURCE: Tractability, VOLUME: 9781107025196
INDEXED IN: Scopus CrossRef: 1
142
TITLE: Automated Design Debugging With Maximum Satisfiability  Full Text
AUTHORS: Chen, YB; Safarpour, S; Marques Silva, J ; Veneris, A;
PUBLISHED: 2010, SOURCE: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOLUME: 29, ISSUE: 11
INDEXED IN: Scopus WOS DBLP CrossRef: 62 Unpaywall
IN MY: ORCID | ResearcherID | DBLP
143
TITLE: Boolean Lexicographic Optimization PDF
AUTHORS: Joao Marques Silva ; Josep Argelich; Ana Graça; Inês Lynce ;
PUBLISHED: 2010, SOURCE: 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
INDEXED IN: Scopus DBLP
IN MY: DBLP
144
TITLE: Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem  Full Text
AUTHORS: Morgado, António ; Marques Silva, J ;
PUBLISHED: 2010, SOURCE: FUNDAMENTA INFORMATICAE, VOLUME: 102, ISSUE: 3-4
INDEXED IN: Scopus WOS DBLP CrossRef: 6 Unpaywall
IN MY: ORCID
145
TITLE: Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
AUTHORS: Lucas C Cordeiro; Bernd Fischer; João Marques Silva ;
PUBLISHED: 2010, SOURCE: 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010, Oxford, England, UK, 22-26 March 2010
INDEXED IN: Scopus DBLP CrossRef: 6 Unpaywall
IN MY: ORCID | DBLP
146
TITLE: Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription
AUTHORS: Mikolas Janota; Radu Grigore; Joao Marques Silva ;
PUBLISHED: 2010, SOURCE: 12th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, VOLUME: 6341
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
IN MY: ORCID | ResearcherID | DBLP
147
TITLE: Efficient and Accurate Haplotype Inference by Combining Parsimony and Pedigree Information
AUTHORS: Ana Graça; Inês Lynce ; João Marques Silva ; Arlindo L Oliveira ;
PUBLISHED: 2010, SOURCE: 4th International Conference on Algebraic and Numeric Biology, ANB 2010 in ANB, VOLUME: 6479 LNCS
INDEXED IN: Scopus DBLP CrossRef Unpaywall
IN MY: ORCID
148
TITLE: Haplotype Inference by Pure Parsimony: A Survey
AUTHORS: Graça, A; Lynce, I ; Marques Silva, J ; Oliveira, AL ;
PUBLISHED: 2010, SOURCE: JOURNAL OF COMPUTATIONAL BIOLOGY, VOLUME: 17, ISSUE: 8
INDEXED IN: Scopus WOS DBLP CrossRef: 8 Unpaywall
IN MY: ORCID
149
TITLE: How to Complete an Interactive Configuration Process?
AUTHORS: Mikolás Janota; Goetz Botterweck; Radu Grigore; João P Marques Silva ;
PUBLISHED: 2010, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef Unpaywall
IN MY: ORCID | DBLP
150
TITLE: Industrial-Strength Certified SAT Solving through Verified SAT Proof Checking
AUTHORS: Ashish Darbari; Bernd Fischer; João Marques Silva ;
PUBLISHED: 2010, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef Unpaywall
IN MY: ORCID | DBLP
Page 15 of 27. Total results: 266.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service