João Paulo Marques da Silva
AuthID: R-000-J0P
61
TÃTULO: On QBF Proofs and Preprocessing PDF
AUTORES: Mikolás Janota; Radu Grigore; João Marques Silva;
PUBLICAÇÃO: 2013, FONTE: CoRR, VOLUME: abs/1310.2491
AUTORES: Mikolás Janota; Radu Grigore; João Marques Silva;
PUBLICAÇÃO: 2013, FONTE: CoRR, VOLUME: abs/1310.2491
INDEXADO EM: 
DBLP 
arXiv
DBLP arXiv NO MEU: DBLP
DBLP62
TÃTULO: HYBRID INCREMENTAL ALGORITHMS FOR BOOLEAN SATISFIABILITY Full Text
AUTORES: FLORIAN LETOMBE; JOAO MARQUES SILVA;
PUBLICAÇÃO: 2012, FONTE: International Journal on Artificial Intelligence Tools
AUTORES: FLORIAN LETOMBE; JOAO MARQUES SILVA;
PUBLICAÇÃO: 2012, FONTE: International Journal on Artificial Intelligence Tools
INDEXADO EM: 
Unpaywall
Unpaywall63
TÃTULO: Towards efficient MUS extraction Full Text
AUTORES: Anton Belov; Inês Lynce; Joao Marques Silva;
PUBLICAÇÃO: 2012, FONTE: AI Communications, VOLUME: 25, NÚMERO: 2
AUTORES: Anton Belov; Inês Lynce; Joao Marques Silva;
PUBLICAÇÃO: 2012, FONTE: AI Communications, VOLUME: 25, NÚMERO: 2
64
TÃTULO: Improvements to satisfiability-based boolean function bi-decomposition
AUTORES: Huan Chen; Joao Marques Silva;
PUBLICAÇÃO: 2011, FONTE: 2011 IEEE/IFIP 19th International Conference on VLSI and System-on-Chip
AUTORES: Huan Chen; Joao Marques Silva;
PUBLICAÇÃO: 2011, FONTE: 2011 IEEE/IFIP 19th International Conference on VLSI and System-on-Chip
INDEXADO EM: Unpaywall
Unpaywall65
TÃTULO: Restoring CSP Satisfiability with MaxSAT Full Text
AUTORES: Inês Lynce; Joao Marques Silva;
PUBLICAÇÃO: 2011, FONTE: Fundamenta Informaticae, VOLUME: 107, NÚMERO: 2-3
AUTORES: Inês Lynce; Joao Marques Silva;
PUBLICAÇÃO: 2011, FONTE: Fundamenta Informaticae, VOLUME: 107, NÚMERO: 2-3
66
TÃTULO: Haplotype Inference Using Propositional Satisfiability
AUTORES: Ana Graça; João Marques Silva; Inês Lynce;
PUBLICAÇÃO: 2010, FONTE: Mathematical Approaches to Polymer Sequence Analysis and Related Problems
AUTORES: Ana Graça; João Marques Silva; Inês Lynce;
PUBLICAÇÃO: 2010, FONTE: Mathematical Approaches to Polymer Sequence Analysis and Related Problems
INDEXADO EM: Unpaywall
Unpaywall67
TÃTULO: Haplotype Inference by Pure Parsimony: A Survey
AUTORES: Ana Graça; Inês Lynce; João Marques Silva; Arlindo L. Oliveira;
PUBLICAÇÃO: 2010, FONTE: Journal of Computational Biology
AUTORES: Ana Graça; Inês Lynce; João Marques Silva; Arlindo L. Oliveira;
PUBLICAÇÃO: 2010, FONTE: Journal of Computational Biology
INDEXADO EM: Unpaywall
Unpaywall68
TÃTULO: Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription PDF
AUTORES: Mikolás Janota; João Marques Silva; Radu Grigore;
PUBLICAÇÃO: 2010, FONTE: CoRR, VOLUME: abs/1006.5896
AUTORES: Mikolás Janota; João Marques Silva; Radu Grigore;
PUBLICAÇÃO: 2010, FONTE: CoRR, VOLUME: abs/1006.5896
INDEXADO EM: DBLP arXiv
DBLP arXiv NO MEU: DBLP
DBLP69
TÃTULO: Boolean satisfiability and EDA applications
AUTORES: Joao Marques Silva;
PUBLICAÇÃO: 2009, FONTE: Practical Design Verification, VOLUME: 9780521859721
AUTORES: Joao Marques Silva;
PUBLICAÇÃO: 2009, FONTE: Practical Design Verification, VOLUME: 9780521859721
INDEXADO EM: 
Scopus
Scopus70
TÃTULO: Haplotype inference with pseudo-Boolean optimization Full Text
AUTORES: Ana Graça; João Marques Silva; Inês Lynce; Arlindo L. Oliveira;
PUBLICAÇÃO: 2009, FONTE: Annals of Operations Research
AUTORES: Ana Graça; João Marques Silva; Inês Lynce; Arlindo L. Oliveira;
PUBLICAÇÃO: 2009, FONTE: Annals of Operations Research
INDEXADO EM: Unpaywall
Unpaywall