João Paulo Marques da Silva


AuthID: R-000-J0P

Publicações a aguardar confirmação

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
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
62
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
INDEXADO EM: Unpaywall
63
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
INDEXADO EM: CrossRef: 58 Unpaywall
NO MEU: ORCID
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
INDEXADO EM: Unpaywall
65
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
INDEXADO EM: CrossRef: 1 Unpaywall
NO MEU: ORCID
66
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
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
67
TÍTULO: Boolean satisfiability and EDA applications
AUTORES: Joao Marques Silva;
PUBLICAÇÃO: 2009, FONTE: Practical Design Verification, VOLUME: 9780521859721
INDEXADO EM: Scopus
68
TÍTULO: Boolean satisfiability and EDA applications
AUTORES: Joao Marques-Silva;
PUBLICAÇÃO: 2009, FONTE: Practical Design Verification
INDEXADO EM: CrossRef
69
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
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
70
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
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
Página 7 de 8. Total de resultados: 78.

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

Links Úteis

Ajuda

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