João Paulo Marques da Silva


AuthID: R-000-J0P

Publicações Confirmadas: 271



141
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: 2 Unpaywall
NO MEU: ORCID | ResearcherID | DBLP
142
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
143
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
144
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
145
TÍTULO: SAT solvers
AUTORES: Joao Marques Silva ; Ines Lynce;
PUBLICAÇÃO: 2011, FONTE: Tractability, VOLUME: 9781107025196
INDEXADO EM: Scopus CrossRef: 1
146
TÍTULO: Automated Design Debugging With Maximum Satisfiability  Full Text
AUTORES: Chen, YB; Safarpour, S; Marques Silva, J ; Veneris, A;
PUBLICAÇÃO: 2010, FONTE: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOLUME: 29, NÚMERO: 11
INDEXADO EM: Scopus WOS DBLP CrossRef: 62 Unpaywall
NO MEU: ORCID | ResearcherID | DBLP
147
TÍTULO: Boolean Lexicographic Optimization PDF
AUTORES: Joao Marques Silva ; Josep Argelich; Ana Graça; Inês Lynce;
PUBLICAÇÃO: 2010, FONTE: 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
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
148
TÍTULO: Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem  Full Text
AUTORES: Morgado, António ; Marques Silva, J ;
PUBLICAÇÃO: 2010, FONTE: FUNDAMENTA INFORMATICAE, VOLUME: 102, NÚMERO: 3-4
INDEXADO EM: Scopus WOS DBLP CrossRef: 5 Unpaywall
NO MEU: ORCID | ResearcherID | DBLP
149
TÍTULO: Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
AUTORES: Lucas C Cordeiro; Bernd Fischer; João Marques Silva ;
PUBLICAÇÃO: 2010, FONTE: 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010, Oxford, England, UK, 22-26 March 2010
INDEXADO EM: Scopus DBLP CrossRef: 6 Unpaywall
NO MEU: ORCID | DBLP
150
TÍTULO: Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription
AUTORES: Mikolas Janota; Radu Grigore; Joao Marques Silva ;
PUBLICAÇÃO: 2010, FONTE: 12th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, VOLUME: 6341
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
NO MEU: ORCID | ResearcherID | DBLP
Página 15 de 28. Total de resultados: 271.

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