João Paulo Marques da Silva
AuthID: R-000-J0P
71
TÃTULO: Boolean satisfiability and EDA applications
AUTORES: Joao Marques-Silva;
PUBLICAÇÃO: 2009, FONTE: Practical Design Verification
AUTORES: Joao Marques-Silva;
PUBLICAÇÃO: 2009, FONTE: Practical Design Verification
INDEXADO EM: 
CrossRef
CrossRef72
TÃTULO: Algorithms for Weighted Boolean Optimization PDF
AUTORES: Vasco M Manquinho; João P Marques Silva; Jordi Planes;
PUBLICAÇÃO: 2009, FONTE: CoRR, VOLUME: abs/0903.0843
AUTORES: Vasco M Manquinho; João P Marques Silva; Jordi Planes;
PUBLICAÇÃO: 2009, FONTE: CoRR, VOLUME: abs/0903.0843
INDEXADO EM: 
DBLP 
arXiv
DBLP arXiv NO MEU: DBLP
DBLP73
TÃTULO: How to Complete an Interactive Configuration Process? PDF
AUTORES: Mikolás Janota; Goetz Botterweck; Radu Grigore; João Marques Silva;
PUBLICAÇÃO: 2009, FONTE: CoRR, VOLUME: abs/0910.3913
AUTORES: Mikolás Janota; Goetz Botterweck; Radu Grigore; João Marques Silva;
PUBLICAÇÃO: 2009, FONTE: CoRR, VOLUME: abs/0910.3913
INDEXADO EM: DBLP arXiv
DBLP arXiv NO MEU: DBLP
DBLP74
TÃTULO: Continuous Verification of Large Embedded Software using SMT-Based Bounded Model Checking PDF
AUTORES: Lucas C Cordeiro; Bernd Fischer; João P Marques Silva;
PUBLICAÇÃO: 2009, FONTE: CoRR, VOLUME: abs/0911.3784
AUTORES: Lucas C Cordeiro; Bernd Fischer; João P Marques Silva;
PUBLICAÇÃO: 2009, FONTE: CoRR, VOLUME: abs/0911.3784
INDEXADO EM: DBLP arXiv
DBLP arXiv NO MEU: DBLP
DBLP75
TÃTULO: SMT-Based Bounded Model Checking for Embedded ANSI-C Software PDF
AUTORES: Lucas C Cordeiro; Bernd Fischer; João P Marques Silva;
PUBLICAÇÃO: 2009, FONTE: CoRR, VOLUME: abs/0907.2072
AUTORES: Lucas C Cordeiro; Bernd Fischer; João P Marques Silva;
PUBLICAÇÃO: 2009, FONTE: CoRR, VOLUME: abs/0907.2072
INDEXADO EM: DBLP arXiv
DBLP arXiv NO MEU: DBLP
DBLP76
TÃTULO: HAPLOTYPE INFERENCE WITH BOOLEAN SATISFIABILITY Full Text
AUTORES: INÊS LYNCE; JOÃO MARQUES SILVA;
PUBLICAÇÃO: 2008, FONTE: International Journal on Artificial Intelligence Tools
AUTORES: INÊS LYNCE; JOÃO MARQUES SILVA;
PUBLICAÇÃO: 2008, FONTE: International Journal on Artificial Intelligence Tools
INDEXADO EM: 
Unpaywall
Unpaywall77
TÃTULO: Symmetry Breaking for Maximum Satisfiability PDF
AUTORES: João Marques Silva; Inês Lynce; Vasco M Manquinho;
PUBLICAÇÃO: 2008, FONTE: CoRR, VOLUME: abs/0804.0599
AUTORES: João Marques Silva; Inês Lynce; Vasco M Manquinho;
PUBLICAÇÃO: 2008, FONTE: CoRR, VOLUME: abs/0804.0599
INDEXADO EM: DBLP arXiv
DBLP arXiv NO MEU: DBLP
DBLP78
TÃTULO: Towards Robust CNF Encodings of Cardinality Constraints
AUTORES: Joao Marques-Silva; Inês Lynce;
PUBLICAÇÃO: 2007, FONTE: Principles and Practice of Constraint Programming – CP 2007 - Lecture Notes in Computer Science
AUTORES: Joao Marques-Silva; Inês Lynce;
PUBLICAÇÃO: 2007, FONTE: Principles and Practice of Constraint Programming – CP 2007 - Lecture Notes in Computer Science
79
TÃTULO: An experimental study of satisfiability search heuristics
AUTORES: Fadi A Aloul; João P Marques Silva; Karem A Sakallah;
PUBLICAÇÃO: 2000, FONTE: Proceedings -Design, Automation and Test in Europe, DATE
AUTORES: Fadi A Aloul; João P Marques Silva; Karem A Sakallah;
PUBLICAÇÃO: 2000, FONTE: Proceedings -Design, Automation and Test in Europe, DATE
80
TÃTULO: Boolean satisfiability algorithms and applications in electronic design automation
AUTORES: João Marques Silva; Karem Sakallah;
PUBLICAÇÃO: 2000, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1855
AUTORES: João Marques Silva; Karem Sakallah;
PUBLICAÇÃO: 2000, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1855
INDEXADO EM: 
Scopus
Scopus