João Paulo Marques da Silva


AuthID: R-000-J0P

Publicações Confirmadas: 266



131
TÍTULO: Improvements to Satisfiability-Based Boolean Function Bi-Decomposition
AUTORES: Huan Chen; João Marques Silva ;
PUBLICAÇÃO: 2011, FONTE: VLSI-SoC: Advanced Research for Systems on Chip - 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papers, VOLUME: 379
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID | DBLP
132
TÍTULO: Improvements to satisfiability-based boolean function bi-decomposition
AUTORES: Huan Chen; João Marques Silva ;
PUBLICAÇÃO: 2011, FONTE: 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011 in IEEE/IFIP 19th International Conference on VLSI and System-on-Chip, VLSI-SoC 2011, Kowloon, Hong Kong, China, October 3-5, 2011, VOLUME: 379 AICT
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
NO MEU: ORCID | DBLP
133
TÍTULO: Lazy Decomposition for Distributed Decision Procedures PDF
AUTORES: Youssef Hamadi; João Marques Silva ; Christoph M. Wintersteiger;
PUBLICAÇÃO: 2011, FONTE: Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2011, Snowbird, Utah, USA, July 14, 2011., VOLUME: 72
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
134
TÍTULO: Minimally Unsatisfiable Boolean Circuits
AUTORES: Anton Belov; João P Marques Silva ;
PUBLICAÇÃO: 2011, FONTE: 14th International Conference on Theory and Applications of Satisfiability Testing, SAT 2011 in Theory and Applications of Satisfiability Testing - SAT 2011 - 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings, VOLUME: 6695
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
NO MEU: ORCID | DBLP
135
TÍTULO: On Deciding MUS Membership with QBF
AUTORES: Mikolás Janota; João P Marques Silva ;
PUBLICAÇÃO: 2011, FONTE: 17th International Conference on Principles and Practice of Constraint Programming, CP 2011 in Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings, VOLUME: 6876
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
NO MEU: ORCID | DBLP
136
TÍTULO: On Improving MUS Extraction Algorithms
AUTORES: Marques Silva, J ; Lynce, I ;
PUBLICAÇÃO: 2011, FONTE: 14th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2011, VOLUME: 6695
INDEXADO EM: Scopus WOS DBLP CrossRef: 31 Unpaywall
NO MEU: ORCID | DBLP
137
TÍTULO: On Validating Boolean Optimizers
AUTORES: Morgado, António ; Marques Silva, J ;
PUBLICAÇÃO: 2011, FONTE: 23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI) in 2011 23RD IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2011)
INDEXADO EM: Scopus WOS DBLP CrossRef: 5 Unpaywall
NO MEU: ORCID
138
TÍTULO: Preface
AUTORES: Hiroki Arimura; Raoul Medina; Jean Marc Petit; Franz Baader; Jean François Boulicaut; Bruno Crémilleux; Luc De Raedt; Khaled Elbassioni; Alain Gely; Bart Goethals; Sergei Kuznetsov; Dominique Laurent; Hong Cheu Liu; Joao Marques Silva ; Rokia Missaoui; Siegfried Nijssen; Lhouari Nourine; Marie Christine Rousset; Lakhdar Sais; Thomas Schiex; Takeaki Uno; Jef Wijsen; ...Mais
PUBLICAÇÃO: 2011, FONTE: Proceedings - IEEE International Conference on Data Mining, ICDM
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
139
TÍTULO: Read-Once Resolution for Unsatisfiability-Based Max-SAT Algorithms
AUTORES: Federico Heras; João Marques Silva ;
PUBLICAÇÃO: 2011, FONTE: IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
140
TÍTULO: Restoring CSP Satisfiability with MaxSAT  Full Text
AUTORES: Lynce, I ; Marques Silva, J ;
PUBLICAÇÃO: 2011, FONTE: FUNDAMENTA INFORMATICAE, VOLUME: 107, NÚMERO: 2-3
INDEXADO EM: Scopus WOS DBLP
NO MEU: ResearcherID | DBLP
Página 14 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